IsaMorph 0.9

IsaMorph adalah distribusi linux Live CD (berdasarkan Morphix) yang menampilkan prover teorema interaktif Isabelle.Ini berarti, Anda dapat boot dari CD dan mendapatkan sepenuhnya operasional "teorema" lingkungan tanpa menginstal GNU / Linux atau Isabelle....
Baru dilihat lunak