IsaMorph 0.9 IsaMorphは、対話型定理証明イザベルをフィーチャー（Morphixのに基づく）LinuxディストリビューションのライブCDです。これは、CDから起動し、GNU /... 3 Jun 15 で システムユーティリティ, Linuxディストリビューション Linux 続きを読む
