Proof assistant/External Links

From Citizendium
< Proof assistant
Revision as of 13:58, 14 August 2010 by imported>Boris Tsirelson (→‎Literature)
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.

Formalizing 100 Theorems

Top 100 theorems in Isabelle

Literature

Some books mentioned on the "Bibliography" page:

Nipkow, Paulson, Wenzel: Isabelle/HOL (tutorial) (newer version, of 2010)

The Seventeen Provers of the World

Isabelle/Isar

Isabelle : Overview, Documentation, Download and installation, Projects, Theory library

IsarMathLib: A library of formalized mathematics for Isabelle/ZF : Questions and Answers

Other projects

Nuprl: Proof/Program Refinement Logic : Theory library

IMPS, An Interactive Mathematical Proof System : Theory library

PVS Specification and Verification System

The Proof EditorAlpha

The Theorema System

MINLOG

OMEGA

Wikipedia

WP:Interactive theorem proving

WP:Automated proof checking

WP:Isabelle (theorem prover)

WP:Fold (higher-order function)

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