提交软件

开发者 liblogic.sf.net

  • libLogic 免费

    libLogic 是一个软件库，用于自动定理证明，具有正确和高效地证明任何顺序逻辑理论中所有可证明语句的能力，无需人工帮助。