TableauxProver 1.1-1下载地址

一个场景自动和半自动的证明者

TableauxProver的设计是能自动校准仪和一个画板。

它是专门建造的，所以，它不允许用户提交规则的错误。

它的语法使用前束规格，用户可以方便的方式重新排列公式简化校对过程中。