חייב להיות הפצות לינוקס עבור Achim D. Brucker

IsaMorph הוא תקליטור הפצה של Linux Live (המבוסס על Morphix) המציג את prover המשפט האינטראקטיבי איזבל.משמעות הדבר היא, שאתה יכול לבצע אתחול מהתקליטור ולקבל סביבה מבצעית מלא "הוכחת משפט" מבלי להתקין גנו / לינוקס או איזבל. רק הכנס את התקליטור במחשב שלך ויש...