IsaMorph 0.9 IsaMorph เป็นลินุกซ์กระจายสดซีดี (ขึ้นอยู่กับ Morphix) นำแสดงทฤษฎีบทโต้ตอบ Prover อิสซาเบลซึ่งหมายความว่าคุณสามารถบูตจากซีดีและได้รับการดำเนินการอย่างเต็มที่ "ทฤษฎีบทพิสูจน์" สภาพแวดล้อมที่ไม่ต้องติดตั้ง GNU / Linux หรืออิสซาเบล... 3 Jun 15 ใน ระบบสาธารณูปโภค, ลินุกซ์ Linux อ่านข้อมูลเพิ่มเติม
