evhub / pyprover

Resolution theorem proving for predicate logic in pure Python.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

evhub/pyprover Stargazers