Proof assistant/External Links

From Citizendium
Jump to navigation Jump to 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).