lukaszcz / coqhammerLinks

CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
228Updated 2 months ago

Alternatives and similar repositories for coqhammer

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

Sorting: