Top Software Pro Achim D. Brucker

IsaMorph je linuxová distribuce Live CD (na základě Morphix) představovat interaktivní teorém prover Isabelle.To znamená, že můžete bootovat z CD a získat plně funkční "dokazování" prostředí bez nutnosti instalace GNU / Linux nebo Isabelle. Stačí vložit...