Gratis Software Voor Achim D. Brucker

IsaMorph is een Linux-distributie Live CD (gebaseerd op Morphix) met de interactieve stellingenbewijzer Isabelle.Dit betekent dat u kunt starten vanaf de cd en krijgen een volledig operationeel "bewijsvoering" omgeving zonder het installeren van GNU /...