开发者 liblogic.sf.net

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