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:

References in zbMATH (referenced in 2 articles )

Showing results 1 to 2 of 2.
Sorted by year (citations)

  1. Angelova, Jordanka A.: On moments of sample mean and variance (2012)
  2. Klemens, Ben: Modeling with data. Tools and techniques for scientific computing. (2009)