- Inicio
- Achim D. Brucker
- Utilitários de sistema
- Distribuições Linux
IsaMorph é uma distribuição Linux Live CD (com base na Morphix) que caracteriza o teorema interativo Isabelle.Isto significa, você pode inicializar a partir do CD e obter um ambiente de "teoremas" plenamente operacional sem instalar GNU / Linux ou...