ReasonFX:基于 JavaFX 的逻辑定理证明，主要是关于 GUI 设计

原因外汇 基于 JavaFX 的逻辑定理证明器，主要是关于 GUI 设计。 该项目并没有为定理证明者领域增加多少。 它的设计应该允许轻松包含一阶、二阶和一些更高阶的逻辑。 基础是自然推论，使用 Jaśkowski 符号，但为了更大程度地利用多点触控面板，符号可能会放宽。 此应用程序还用作 TactileAPI 项目 ( ) 的测试用例。