Structured Proofs in Isar/HOL
- 15 April 2003
- book chapter
- Published by Springer Nature
- p. 259-278
- https://doi.org/10.1007/3-540-39185-1_15
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Isabelle/HOLPublished by Springer Nature ,2002
- Calculational Reasoning Revisited An Isabelle/Isar ExperiencePublished by Springer Nature ,2001
- Locales A Sectioning Concept for IsabellePublished by Springer Nature ,1999
- Edinburgh LCFLecture Notes in Computer Science, 1979