stepchowfun / theorem-prover

An automated theorem prover for first-order logic.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

stepchowfun/theorem-prover Stargazers