IsaMorph 0.9
IsaMorph yra Linux distribucija Live CD (remiantis morphix) featuring interaktyvų teorema PROVER Isabelle.Tai reiškia, kad galite paleisti iš CD ir gauti visiškai veikiančią "teorema, įrodantys" aplinką nediegiant GNU / Linux arba Isabelle. Tiesiog...