HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:proof assistant

Publications
Automated Theorem Proving in a Chat Environment
Rustam Zhumagambetov and Mark Sterling
EasyChair Preprint 447
Formalizing Bachmair and Ganzinger's Ordered Resolution Prover
Anders Schlichtkrull, Jasmin Christian Blanchette, Dmitriy Traytel and Uwe Waldmann
EasyChair Preprint 396
Coq without Type Casts: A Complete Proof of Coq Modulo Theory
Jean-Pierre Jouannaud and Pierre-Yves Strub
In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Towards Verified Construction for Planar Class of a Qualitative Spatial Representation
Sosuke Moriguchi, Mizuki Goto and Kazuko Takahashi
In:SCSS 2016. 7th International Symposium on Symbolic Computation in Software Science
Copyright © 2012-2025 easychair.org. All rights reserved.