Gratis Programvare For Achim D. Brucker

IsaMorph er en Linux-distribusjon Live-CD (basert på Morphix) med det interaktive teoremet prover Isabelle.Det betyr at du kan starte fra CD og få en fullt operativ "teoremet beviser" miljø uten å installere GNU / Linux eller Isabelle. Bare sette inn CDen...