Proof assistant/External Links: Difference between revisions
Jump to navigation
Jump to search
imported>Boris Tsirelson (more) |
imported>Boris Tsirelson No edit summary |
||
| 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] | ||
==Isabelle/Isar== | |||
[http://isabelle.in.tum.de/ Isabelle] | [http://isabelle.in.tum.de/ Isabelle] | ||
| Line 16: | Line 18: | ||
[http://isarmathlib.org/ IsarMathLib: A library of formalized mathematics for Isabelle/ZF] | [http://isarmathlib.org/ IsarMathLib: A library of formalized mathematics for Isabelle/ZF] | ||
==Other projects== | |||
==Wikipedia== | |||
[http://en.wikipedia.org/wiki/Interactive_theorem_proving WP:Interactive theorem proving] | [http://en.wikipedia.org/wiki/Interactive_theorem_proving WP:Interactive theorem proving] | ||
Revision as of 12:12, 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: Download and installation
IsarMathLib: A library of formalized mathematics for Isabelle/ZF