Proof assistant/External Links: Difference between revisions
Jump to navigation
Jump to search
imported>Boris Tsirelson (New page: {{subpages}} [http://www.cse.unsw.edu.au/~kleing/top100/#1 Top 100 theorems in Isabelle] + [http://www.cs.ru.nl/~freek/100/ Formalizing 100 Theorems] + [http://isabelle.in.tum.de/ Isabell...) |
imported>Boris Tsirelson No edit summary |
||
| Line 1: | Line 1: | ||
{{subpages}} | {{subpages}} | ||
[http://www. | [http://www.cs.ru.nl/~freek/100/ Formalizing 100 Theorems] | ||
[http://www. | |||
[http://isabelle.in.tum.de/ Isabelle] | [http://www.cse.unsw.edu.au/~kleing/top100/#1 Top 100 theorems in Isabelle] | ||
[http://isabelle.in.tum.de/download.html Download and installation] | |||
[http://isabelle.in.tum.de/ Isabelle] | |||
[http://isabelle.in.tum.de/download.html Isabelle: Download and installation] | |||
[http://isabelle.in.tum.de/projects.html Projects] + | [http://isabelle.in.tum.de/projects.html Projects] + | ||
[http://isabelle.in.tum.de/library/ The Isabelle2009-2 Library] + | [http://isabelle.in.tum.de/library/ The Isabelle2009-2 Library] + | ||
Revision as of 04:39, 12 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: Download and installation
Projects + The Isabelle2009-2 Library + IsarMathLib: A library of formalized mathematics for Isabelle/ZF