Proof assistant/External Links: Difference between revisions
Jump to navigation
Jump to search
imported>Boris Tsirelson No edit summary |
imported>Boris Tsirelson No edit summary |
||
| Line 18: | Line 18: | ||
[http://en.wikipedia.org/wiki/Automated_proof_checking WP:Automated proof checking] | [http://en.wikipedia.org/wiki/Automated_proof_checking WP:Automated proof checking] | ||
[http://en.wikipedia.org/wiki/Isabelle_(theorem_prover) WP:Isabelle (theorem prover)] | |||
[http://en.wikipedia.org/wiki/Fold_(higher-order_function) WP:fold] | [http://en.wikipedia.org/wiki/Fold_(higher-order_function) WP:fold] | ||
Revision as of 04:39, 12 August 2010
- Please sort and annotate in a user-friendly manner and consider archiving the URLs behind the links you provide. See also related web sources.
Isabelle: Download and installation
IsarMathLib: A library of formalized mathematics for Isabelle/ZF