Deve ter Software Para Achim D. Brucker

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