HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:proof checker

Publications
A Verified Theorem Prover Backend Supported by a Monotonic Library
Vincent Rahli, Liron Cohen and Mark Bickford
In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Copyright © 2012-2025 easychair.org. All rights reserved.