Proof assistant/External Links: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Boris Tsirelson
imported>Boris Tsirelson
Line 8: Line 8:


Some books mentioned on the "Bibliography" page:
Some books mentioned on the "Bibliography" page:
[http://isabelle.in.tum.de/dist/Isabelle/doc/tutorial.pdf Tutorial on Isabelle/HOL]


[http://www.cs.ru.nl/~freek/comparison/comparison.pdf The Seventeen Provers of the World]
[http://www.cs.ru.nl/~freek/comparison/comparison.pdf The Seventeen Provers of the World]

Revision as of 13:54, 14 August 2010

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:

Tutorial on Isabelle/HOL

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=800908"