Ny Linuxdistributioner För Achim D. Brucker

IsaMorph är en Linux-distribution Live CD (baserat på Morphix) presenterar den interaktiva sats jäs Isabelle.Detta innebär att du kan starta från CD och få en fullt fungerande "teorembevisning" miljö utan att installera GNU / Linux eller Isabelle. Sätt...