A New Implementation of Automath
Journal of Automated Reasoning
Solving two problems in general topology via types
TYPES'04 Proceedings of the 2004 international conference on Types for Proofs and Programs
Program verification with the RISC ProofNavigator
TFM'06 Proceedings of the 2006 conference on Teaching Formal Methods: practice and experience
Proof, message and certificate
CICM'12 Proceedings of the 11th international conference on Intelligent Computer Mathematics
Isabelle/jEdit: a prover IDE within the PIDE framework
CICM'12 Proceedings of the 11th international conference on Intelligent Computer Mathematics
CPP'12 Proceedings of the Second international conference on Certified Programs and Proofs
Verification across Intellectual Property Boundaries
ACM Transactions on Software Engineering and Methodology (TOSEM)
Shared-memory multiprocessing for interactive theorem proving
ITP'13 Proceedings of the 4th international conference on Interactive Theorem Proving
A qualitative comparison of the suitability of four theorem provers for basic auction theory
CICM'13 Proceedings of the 2013 international conference on Intelligent Computer Mathematics
Pervasive parallelism in highly-trustable interactive theorem proving systems
CICM'13 Proceedings of the 2013 international conference on Intelligent Computer Mathematics
Communications of the ACM
| Hi-index | 0.02 |