Gratis Software Til Achim D. Brucker

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