IsaMorph 0.9

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