stepchowfun / theorem-prover

An automated theorem prover for first-order logic.
234Updated 2 years ago

Related projects

Alternatives and complementary repositories for theorem-prover