马斯喀德定理证明是一个基于知识的系统。在自然演绎的基础上，运用了与自然演绎相似的方法...
The Muscadet Theorem Prover is a knowledge-based system. Based on natural deduction, it uses methods which resemble those used by humans, implemented in one or several bases of facts. The output is an easily readable proof. (2018-12-07, Prolog, 1010KB, 下载0次)