- Hjemmeside
- Achim D. Brucker
- Systemværktøjer
IsaMorph er en Linux-distribution live cd (baseret på Morphix) byder den interaktive teorem prover Isabelle.Det betyder, du kan starte fra cd'en og få et fuldt operationelt "bevisførelse" miljø uden at installere GNU / Linux eller Isabelle. Bare...