Showing 2 of 2 repositories tagged #proof-search, ranked by stars
CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
