A Prototype Proof Translator from HOL to Coq
TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics
The HOL/NuPRL Proof Translator (A Practical Approach to Formal Interoperability)
TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
Changing Data Structures in Type Theory: A Study of Natural Numbers
TYPES '00 Selected papers from the International Workshop on Types for Proofs and Programs
An interpretation of Isabelle/HOL in HOL light
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
Hi-index | 0.00 |