Certifying the Fast Fourier Transform with Coq
TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
Transparent optimisation of rewriting combinators
Journal of Functional Programming
User Interaction with the Matita Proof Assistant
Journal of Automated Reasoning
Electronic Notes in Theoretical Computer Science (ENTCS)
Interactive Theorem Proving with Tasks
Electronic Notes in Theoretical Computer Science (ENTCS)
TYPES'06 Proceedings of the 2006 international conference on Types for proofs and programs
Saoithín: a theorem prover for UTP
UTP'10 Proceedings of the Third international conference on Unifying theories of programming
Assisted proof document authoring
MKM'05 Proceedings of the 4th international conference on Mathematical Knowledge Management
Engineering the Prover Interface
Electronic Notes in Theoretical Computer Science (ENTCS)
A Combination of a Dynamic Geometry Software With a Proof Assistant for Interactive Formal Proofs
Electronic Notes in Theoretical Computer Science (ENTCS)
Subformula linking as an interaction method
ITP'13 Proceedings of the 4th international conference on Interactive Theorem Proving
| Hi-index | 0.00 |