New Software for Achim D. Brucker

IsaMorph is a linux distribution 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...