IsaMorph 0.9
IsaMorph è un Live CD di distribuzione di Linux (sulla base di Morphix) con il teorema prover interattivo Isabelle.Questo significa che è possibile avviare dal CD e ottenere un "teoremi" ambiente pienamente operativo senza installare GNU / Linux o...