lukaszcz / coqhammerLinks

CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
230Updated 2 weeks ago

Alternatives and similar repositories for coqhammer

Users that are interested in coqhammer are comparing it to the libraries listed below

Sorting: