|
|
Log in / Subscribe / Register

IsaMorph

[Posted August 4, 2004 by ris]

IsaMorph is a highly specialized GNU/Linux Live CD. It's based on Morphix and features the interactive theorem prover Isabelle, for a complete theorem proving environment. IsaMorph joins the list at version 0.2.1, released July 29, 2004.
to post comments

Link to IsaMorph is broken

Posted Aug 12, 2004 22:09 UTC (Thu) by alaoglu (guest, #23969) [Link]

URL http://www.brucker.ch/projects/isamorph/ is not working.


Copyright © 2004, Eklektix, Inc.
Comments and public postings are copyrighted by their creators.
Linux is a registered trademark of Linus Torvalds