search

lukaszcz / coqhammer

CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
Other
217 stars 31 forks source link

Overlay for Coq PR #13952 #101

Open mattam82 opened 3 years ago

mattam82 commented 3 years ago

Don't merge yet, depending on Coq PR coq/coq#13952