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 3 articles )
Showing results 1 to 3 of 3.
- Cancès, Eric (ed.); Friesecke, Gero (ed.); Helgaker, Trygve Ulf (ed.); Lin, Lin (ed.): Mathematical methods in quantum chemistry. Abstracts from the workshop held March 18--24, 2018 (2018)
- Angelova, Jordanka A.: On moments of sample mean and variance (2012)
- Klemens, Ben: Modeling with data. Tools and techniques for scientific computing. (2009)