Citizendium - a community developing a quality comprehensive compendium of knowledge, online and free.
Click here to join and contribute—free
CZ thanks our previous donors. Donate here. Treasurer's Financial Report -- Thanks to our content contributors. --

Proof assistant/External Links

From Citizendium
Jump to: navigation, search
This article is developing and not approved.
Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
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.

Theorems

Literature

Some books mentioned on the "Bibliography" page:

Isabelle/Isar

Other projects

  • HOL (history and relatives)
  • Prover9 (and Mace4; successor of Otter).