Proof assistant/External Links: Difference between revisions
Jump to navigation
Jump to search
imported>Boris Tsirelson |
imported>Boris Tsirelson |
||
| Line 12: | Line 12: | ||
[http://isabelle.in.tum.de/library/ Theory library] | [http://isabelle.in.tum.de/library/ Theory library] | ||
[http://isarmathlib.org/ IsarMathLib: A library of formalized mathematics for Isabelle/ZF] | [http://isarmathlib.org/ IsarMathLib: A library of formalized mathematics for Isabelle/ZF] : [http://www.nongnu.org/isarmathlib/ Questions and Answers] | ||
==Other projects== | ==Other projects== | ||
Revision as of 13:04, 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.
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