IsaMorph

IsaMorph 0.9

IsaMorph egy Linux disztribúció Live CD-(alapján Morphix) jellemző az interaktív bankterminál Isabelle.Ez azt jelenti, akkor boot a CD, és kap egy teljes mértékben működőképes "tételbizonyítás" környezet telepítése nélkül GNU / Linux vagy Isabelle. Csak...