Isar — A Generic Interpretative Approach to Readable Formal Proof Documents
- 17 September 1999
- book chapter
- Published by Springer Nature
- p. 167-183
- https://doi.org/10.1007/3-540-48256-3_12
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Three Tactic Theorem ProvingPublished by Springer Nature ,1999
- Ωmega: Towards a mathematical assistantPublished by Springer Nature ,1997
- More Church-Rosser proofs (in Isabelle/HOL)Published by Springer Nature ,1996
- PVS: Combining specification, proof checking, and model checkingPublished by Springer Nature ,1996
- Winskel is (almost) rightPublished by Springer Nature ,1996
- A mizar mode for HOLPublished by Springer Nature ,1996
- IsabellePublished by Springer Nature ,1994
- A formulation of the simple theory of typesThe Journal of Symbolic Logic, 1940