lukaszcz / coqhammerLinks

CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
228Updated last month

Alternatives and similar repositories for coqhammer

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

Sorting: