IsaMorph 0.9
IsaMorph jest dystrybucja Linux Live CD (na podstawie Morphiksie) wyposażony w interaktywny twierdzenie Prover Isabelle.Oznacza to, można uruchomić z płyty CD i uzyskać w pełni sprawny "dowodzenie twierdzen" środowisko bez instalacji GNU / Linux lub...