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. (Source: http://freecode.com/)