IsaMorph 0.9
IsaMorph ay isang linux distribution Live CD (batay sa Morphix) na nagtatampok ng mga interactive theorem prover Isabelle.Ang ibig sabihin nito, maaari kang boot mula sa CD at makakuha ng isang ganap na pagpapatakbo "teorama proving" na kapaligiran na...