search

lukaszcz / coqhammer

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

Adapt to coq/coq#18038 (rewrite rules) #174

Closed yannl35133 closed 9 months ago

SkySkimmer commented 9 months ago

Please merge now