Proof assistant/External Links: Difference between revisions
Jump to navigation
Jump to search
imported>Boris Tsirelson No edit summary |
imported>Boris Tsirelson |
||
| Line 7: | Line 7: | ||
==Isabelle/Isar== | ==Isabelle/Isar== | ||
[http://isabelle.in.tum.de/ Isabelle] | [http://isabelle.in.tum.de/ Isabelle] : [http://isabelle.in.tum.de/overview.html Overview], | ||
[http://isabelle.in.tum.de/download.html Download and installation], | |||
[http://isabelle.in.tum.de/overview.html | [http://isabelle.in.tum.de/projects.html Projects], | ||
[http://isabelle.in.tum.de/library/ Library] | |||
[http://isabelle.in.tum.de/download.html | |||
[http://isabelle.in.tum.de/projects.html | |||
[http://isabelle.in.tum.de/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] | ||
Revision as of 12:13, 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, Library
IsarMathLib: A library of formalized mathematics for Isabelle/ZF