Proof assistant/External Links

From Citizendium
< Proof assistant
Revision as of 02:16, 12 August 2010 by 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...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search
This article is developing and not approved.
 Main Article
 Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
https://en.citizendium.org/wiki/index.php?title=Proof_assistant/External_Links&printable=yes
A hand-picked, annotated list of Web resources about Proof assistant.
Please sort and annotate in a user-friendly manner and consider archiving the URLs behind the links you provide. See also related web sources.

Top 100 theorems in Isabelle + Formalizing 100 Theorems + Isabelle + Download and installation + Projects + The Isabelle2009-2 Library + IsarMathLib: A library of formalized mathematics for Isabelle/ZF

WP:fold

Retrieved from "https://citizendium.org/wiki/index.php?title=Proof_assistant/External_Links&oldid=800890"