IsaMorph 0.9
IsaMorph est un Live CD de distribution Linux (basé sur Morphix) mettant en vedette le démonstrateur interactif Isabelle.Cela signifie, vous pouvez démarrer à partir du CD et obtenir un "démonstration de théorèmes" environnement pleinement opérationnel...