IsaMorph 0.9

IsaMorph es un Live CD de distribución de Linux (basado en Morphix) con el demostrador de teoremas Isabelle interactiva.Esto significa, puede arrancar desde el CD y conseguir un entorno en pleno funcionamiento "demostración de teoremas" sin necesidad de...