A Tutorial Introduction to Structured Isar Proofs
Cached
Download Links
by
Tobias Nipkow
| Citations: | 2 - 1 self |
BibTeX
@MISC{Nipkow_atutorial,
author = {Tobias Nipkow},
title = {A Tutorial Introduction to Structured Isar Proofs},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Citations
| 585 | Isabelle/HOL: A Proof Assistant for Higher-Order Logic - Nipkow, Paulson, et al. - 2002 |
| 82 | Edinburgh LCF: A Mechanised Logic - Gordon, Milner, et al. - 1979 |
| 80 | A machine-checked model for a Java-like language, virtual machine and compiler - Klein, Nipkow, et al. |
| 75 | An overview of the MIZAR project - Rudnicki - 1992 |
| 12 | Calculational reasoning revisited — an Isabelle/Isar experience - Bauer, Wenzel - 2001 |
| 5 | The Isabelle/Isar Reference Manual. Technische Universität - Wenzel - 2002 |
| 4 | and Freek Wiedijk. A comparison of the mathematical proof languages Mizar and Isar - Wenzel |
