Automated theorem proving | npm.io

Automated theorem prover for first-order predicate logic based on resolution

ATP first-order predicate logic resolution automated theorem proving

0.2.0 • Published 4 years ago