IsaMorph 0.9
IsaMorph είναι μια διανομή Linux Live CD (με βάση Morphix) που χαρακτηρίζει τη διαδραστική θεώρημα prover Isabelle.Αυτό σημαίνει ότι, μπορείτε να εκκινήσετε από το CD και να πάρετε μια πλήρως λειτουργική "απόδειξης θεωρήματος" περιβάλλον χωρίς να...