Proof Terms for Simply Typed Higher Order Logic
TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics
Transparent optimisation of rewriting combinators
Journal of Functional Programming
Journal of Automated Reasoning
The open theory standard theory library
NFM'11 Proceedings of the Third international conference on NASA Formal methods
ITP'10 Proceedings of the First international conference on Interactive Theorem Proving
Scalable LCF-Style proof translation
ITP'13 Proceedings of the 4th international conference on Interactive Theorem Proving
Hi-index | 0.00 |