IsaMorph 0.9

IsaMorph是一個Linux發行版的Live CD（基於Morphix）為特色的交互式定理證明伊莎貝爾。這意味著，你可以從光盤啟動，並得到一個全面運作的“定理證明”的環境中，無需安裝GNU /...
最近瀏覽的軟件