Proof assistant/External Links: Difference between revisions
Jump to navigation
Jump to search
imported>Boris Tsirelson |
imported>Boris Tsirelson m (→Isabelle/Isar) |
||
| Line 4: | Line 4: | ||
[http://www.cse.unsw.edu.au/~kleing/top100/#1 Top 100 theorems in Isabelle] | [http://www.cse.unsw.edu.au/~kleing/top100/#1 Top 100 theorems in Isabelle] | ||
==Literature== | |||
Some books mentioned on the "Bibliography" page: | |||
[http://www.cs.ru.nl/~freek/comparison/comparison.pdf The Seventeen Provers of the World] | |||
==Isabelle/Isar== | ==Isabelle/Isar== | ||
Revision as of 13:51, 14 August 2010
- Please sort and annotate in a user-friendly manner and consider archiving the URLs behind the links you provide. See also related web sources.
Literature
Some books mentioned on the "Bibliography" page:
The Seventeen Provers of the World
Isabelle/Isar
Isabelle : Overview, Download and installation, Projects, Theory library
IsarMathLib: A library of formalized mathematics for Isabelle/ZF : Questions and Answers
Other projects
Nuprl: Proof/Program Refinement Logic : Theory library
IMPS, An Interactive Mathematical Proof System : Theory library
PVS Specification and Verification System