文件名称：ReasonFX:基于 JavaFX 的逻辑定理证明，主要是关于 GUI 设计
文件大小：5.53MB
文件格式：ZIP
更新时间：2024-07-15 01:59:53
Java
原因外汇 基于 JavaFX 的逻辑定理证明器，主要是关于 GUI 设计。 该项目并没有为定理证明者领域增加多少。 它的设计应该允许轻松包含一阶、二阶和一些更高阶的逻辑。 基础是自然推论，使用 Jaśkowski 符号，但为了更大程度地利用多点触控面板，符号可能会放宽。 此应用程序还用作 TactileAPI 项目 ( ) 的测试用例。
【文件预览】：
ReasonFX-master
----.gitignore(87B)
----src()
--------reasonfx()
----nbproject()
--------jfx-impl.xml(215KB)
--------genfiles.properties(467B)
--------build-impl.xml(76KB)
--------project.properties(4KB)
--------project.xml(1KB)
--------configs()
----README.md(509B)
----build.xml(3KB)
----manifest.mf(82B)
----lib()
--------antlr-4.4-complete.jar(1.38MB)