IsaMorph 0.9 IsaMorph是一個Linux發行版的Live CD（基於Morphix）為特色的交互式定理證明伊莎貝爾。這意味著，你可以從光盤啟動，並得到一個全面運作的“定理證明”的環境中，無需安裝GNU /... 3 Jun 15 在 系統工具, Linux發行版 Linux 閱讀更多
