Proof assistant/External Links

From Citizendium

< Proof assistant

Revision as of 04:40, 12 August 2010 by imported>Boris Tsirelson

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

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.

Formalizing 100 Theorems

Top 100 theorems in Isabelle

Isabelle: Download and installation

Isabelle: Projects

The Isabelle2009-2 Library

IsarMathLib: A library of formalized mathematics for Isabelle/ZF

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

Hidden categories: