Download Shareware and Freeware Software for Windows, Linux, Macintosh, PDA

line Home  |  About Us  |  Link To Us  |  FAQ  |  Contact

Serving Software Downloads in 956 Categories, Downloaded 50.477.060 Times

USER REVIEWS

IsaMorph


IsaMorph is a linux distribution Live CD (based on Morphix) featuring the interactive theorem prover Isabelle. This means, you can boot from the CD and get a fully operational "theorem proving" environment without installing GNU/Linux...

WRITE USER REVIEW
Your name *
Email *
Ease of use *
(1 = Bad, 10 = Superb)
Functionality *
(1 = Bad, 10 = Superb)
Value for money *
(1 = Bad, 10 = Superb)
Overall score *
(1 = Bad, 10 = Superb)
Comments *
Please don't post questions, this is NO support or discussion list.
Guides
If you know any guides for this tool post the links here (optional)
Verification Code *




Captcha verification code

 
Home  | About Us  | Privacy  | Disclaimer  | Link to Us  | Contact Us  | Top Searches  | Submit Software  | Submit Site  | Percentage Calculator  | Text Compare
File Transit © 1998-2024