简化定理证明器

用于的Eclipse插件简化定理证明器位于https://www.kindsoftware.com/opensource/Mobius/更新/

Simplify的开发位于github.

找到了各种平台的所有二进制可执行文件的存档在这里

Simplify的未来是什么？

Simplify由Greg Nelson和SRC的其他人编写。确实如此在Modula-III中实现。Simplify的唯一最新开发这是我们通往Mac OS X的港口。我们没有计划在Simplify上做任何发展，作为一阶定理的世界在过去十年左右的时间里，谚语发生了很大的变化，我们正在努力将ESC/Java3与新一代SMT-LIB集成证明人。