開發者 liblogic.sf.net

libLogic 是一個軟體庫，用於自動定理證明，具有正確和高效地證明任何順序邏輯理論中所有可證明語句的能力，無需人工説明。