Proof assistant/External Links: Difference between revisions

Revision as of 03:41, 12 August 2010

Citable Version ^[?]

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.

@@ Line 9: / Line 9: @@
 [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 Isabelle: Projects]
-[http://isabelle.in.tum.de/library/ The Isabelle2009-2 Library] +
+[http://isabelle.in.tum.de/library/ The Isabelle2009-2 Library]
 [http://isarmathlib.org/ IsarMathLib: A library of formalized mathematics for Isabelle/ZF]
 [http://en.wikipedia.org/wiki/Fold_(higher-order_function) WP:fold]