Superior Software Para Achim D. Brucker

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...