IsaMorph 0.9
IsaMorph este o distribuție Linux live CD (pe baza Morphix) featuring demonstrator de teoreme interactiv Isabelle.Acest lucru înseamnă, puteți efectua boot de pe CD-ul și a obține o "teoremă proving" mediu complet operațional, fără a instala GNU / Linux...