Modular Reasoning in Isabelle
- 1 January 2000
- book chapter
- Published by Springer Nature
- p. 99-114
- https://doi.org/10.1007/10721959_7
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Locales A Sectioning Concept for IsabellePublished by Springer Nature ,1999
- Modular Structures as Dependent Types in IsabellePublished by Springer Nature ,1999
- A Formal Proof of Sylow's TheoremJournal of Automated Reasoning, 1999
- A Survey of the Project AutomathPublished by Elsevier ,1994
- IsabellePublished by Springer Nature ,1994
- IMPS: An interactive mathematical proof systemJournal of Automated Reasoning, 1993
- Computer proofs in Group TheoryJournal of Automated Reasoning, 1990