evhub/pyprover

Resolution theorem proving for predicate logic in pure Python.

语言：Python · GitHub 星标：99 · Fork：11

话题：coconut · first-order-logic · prover · python · theorem-prover · theorem-proving

在 GitHub 上查看原仓库