IsaMorph-0.9
IsaMorph is a GNU/Linux 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 or Isabelle. Just insert the CD in your PC and have five minutes later your first theorem proven.
All programs distributed within IsaMorph are free software. This means that the operating system and the applications contained in this CD can be freely copied, modified and distributed. So please feel free to give copies to your friends or colleagues.
Download link to the distribution ISO