Proof assistant/External Links: Difference between revisions

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


[http://www.cse.chalmers.se/~hallgren/Alfa/ The Proof EditorAlpha]
[http://www.cse.chalmers.se/~hallgren/Alfa/ The Proof EditorAlpha]
[http://imps.mcmaster.ca/ IMPS, An Interactive Mathematical Proof System] : [http://imps.mcmaster.ca/theories/theory-library.html Theory Library]


==Wikipedia==
==Wikipedia==

Revision as of 12:22, 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

Isabelle/Isar

Isabelle : Overview, Download and installation, Projects, Library

IsarMathLib: A library of formalized mathematics for Isabelle/ZF

Other projects

PVS Specification and Verification System

The Proof EditorAlpha

IMPS, An Interactive Mathematical Proof System : Theory Library

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