- Record: found
- Abstract: not found
- Book Chapter: not found
Types for Proofs and Programs
Locales and Locale Expressions in Isabelle/Isar
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references5
- Record: found
- Abstract: not found
- Book: not found
Isabelle/HOL
Tobias Nipkow, Markus Wenzel, Lawrence Paulson (2002)
- Record: found
- Abstract: not found
- Book Chapter: not found
Proof General: A Generic Tool for Proof Development
David Aspinall (2000)
- Record: found
- Abstract: not found
- Book Chapter: not found
Implementing Modules in the Coq System
Jacek Chrząszcz (2003)