IsaMorph

IsaMorph 0.9

IsaMorph ist eine Linux-Distribution Live CD (basierend auf Morphix) mit den interaktiven Theorembeweiser Isabelle.Das bedeutet, Sie von der CD booten und erhalten Sie einen voll funktionsfähigen "Beweisen" Umwelt, ohne die Installation GNU / Linux oder...