Proof assistant/External Links: Difference between revisions
Jump to navigation
Jump to search
imported>Boris Tsirelson (→Other projects: PVS) |
imported>Boris Tsirelson (→Other projects: Alpha) |
||
| Line 17: | Line 17: | ||
[http://pvs.csl.sri.com/ PVS Specification and Verification System] | [http://pvs.csl.sri.com/ PVS Specification and Verification System] | ||
[http://www.cse.chalmers.se/~hallgren/Alfa/ The Proof EditorAlpha] | |||
==Wikipedia== | ==Wikipedia== | ||
Revision as of 12:18, 14 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/Isar
Isabelle : Overview, Download and installation, Projects, Library
IsarMathLib: A library of formalized mathematics for Isabelle/ZF
Other projects
PVS Specification and Verification System