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/)
References in zbMATH (referenced in 2 articles )
Showing results 1 to 2 of 2.
- Angelova, Jordanka A.: On moments of sample mean and variance (2012)
- Klemens, Ben: Modeling with data. Tools and techniques for scientific computing. (2009)