Floating Point Verification in HOL Light: The Exponential Function
Formal Methods in System Design
Triple Dots in a Formal Language
Journal of Automated Reasoning
On Equivalents of Well-Foundedness
Journal of Automated Reasoning
A Comparison of Mizar and Isar
Journal of Automated Reasoning
TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics
Isar - A Generic Interpretative Approach to Readable Formal Proof Documents
TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics
On the Implementation of an Extensible Declarative Proof Language
TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics
TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
Calculational Reasoning Revisited (An Isabelle/Isar Experience)
TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
TPHOLs '02 Proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics
TPHOLs '09 Proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics
Declarative Representation of Proof Terms
Journal of Automated Reasoning
ATP cross-verification of the Mizar MPTP challenge problems
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
A declarative language for the coq proof assistant
TYPES'07 Proceedings of the 2007 international conference on Types for proofs and programs
TYPES'06 Proceedings of the 2006 international conference on Types for proofs and programs
Improving the usability of HOL through controlled automation tactics
TPHOLs'07 Proceedings of the 20th international conference on Theorem proving in higher order logics
Hi-index | 0.00 |