IsaMorph - ซอฟแวร์ฟรีดาวน์โหลด เพื่อ Linux ใน ลินุกซ์

IsaMorph 0.9

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