- Inicio
- Achim D. Brucker
- Utilidades del sistema
- Distribuciones de linux
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...