- Hlavní stránka
- Achim D. Brucker
- Systémové nástroje
- Linuxové distribuce
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...