Phải có Bản phân phối Linux Cho Achim D. Brucker

IsaMorph là một phân phối Linux Live CD (dựa trên Morphix) có tính năng định lý Prover tương tác Isabelle.Điều này có nghĩa, bạn có thể khởi động từ đĩa CD và có được một hoạt động đầy đủ "định lý minh" môi trường mà không cần cài GNU / Linux hoặc...