Projects / IsaMorph
IsaMorph
IsaMorph is a Linux live CD distribution based on Morphix that features the Isabelle interactive theorem prover. It contains a fully working Isabelle environment supporting proving and document generation.
| Tags | Scientific/Engineering Mathematics |
|---|---|
| Operating Systems | POSIX Linux |
Tweet
Recent releases
- 02 Jan 2006 09:27
Release Notes: This is release updates all software on the CD, including all base utilities and all Isabelle related software. Particularly, this is the first release featuring the latest Isabelle version (2005), X-Symbol (3.6pre), and also HOL-TestGen (1.1.1).
- 29 Jul 2004 03:31
Release Notes: The desktop was reorganized and new examples were added based on the Isabelle distribution and submissions to the Archive of Formal Proofs.
Heartbeat
- Popularity Score
- 30.98
- Vitality Score
- 1.57
- Subscriptions
- 7
Voting Score: 0
(0 votes)
