Ilmaiseksi Ohjelmisto Varten Achim D. Brucker

IsaMorph on Linux-jakelu live-CD (perustuen Morphixin) mukana interaktiivinen lause prover Isabelle.Tämä tarkoittaa, voit käynnistää CD ja saada täysin toimintakykyinen "lause osoittautumassa" ympäristö asentamatta GNU / Linuxin tai Isabelle. Just lisätä...