leoprover/Leo-III

An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics

语言：Scala · GitHub 星标：57 · Fork：12

话题：atp · deduction-system · higher-order-logic · logic · reasoning · theorem-proving

在 GitHub 上查看原仓库