Showing 2 of 2 repositories tagged #theorem-prover, ranked by stars
CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
Resolution theorem proving for predicate logic in pure Python.
