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