Nuwe Sagteware Vir Achim D. Brucker

IsaMorph is 'n Linux-verspreiding Live CD (gebaseer op morphix) met die interaktiewe stelling prover Isabelle.Dit beteken, kan jy boonop uit die CD en kry 'n ten volle operasioneel "stelling bewys" omgewing sonder die installering van GNU / Linux...