IsaMorph 0.9 IsaMorph是一个Linux发行版的Live CD（基于Morphix）为特色的交互式定理证明伊莎贝尔。这意味着，你可以从光盘启动，并得到一个全面运作的“定理证明”的环境中，无需安装GNU /... 3 Jun 15 在 系统工具, Linux发行版 Linux 阅读更多
