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