Locales A Sectioning Concept for Isabelle
- 17 September 1999
- book chapter
- Published by Springer Nature
- p. 149-165
- https://doi.org/10.1007/3-540-48256-3_11
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Modular Reasoning in IsabellePublished by Springer Nature ,2000
- PVS: Combining specification, proof checking, and model checkingPublished by Springer Nature ,1996
- IsabellePublished by Springer Nature ,1994
- Larch: Languages and Tools for Formal SpecificationPublished by Springer Nature ,1993
- Abstract Theories in HOLPublished by Elsevier ,1993
- IMPS: An interactive mathematical proof systemJournal of Automated Reasoning, 1993
- A formulation of the simple theory of typesThe Journal of Symbolic Logic, 1940