Adapt to coq/coq#18973.

lukaszcz / coqhammer

CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory

Other

218 stars 31 forks source link

Closed rlepigre closed 5 months ago

proux01 commented 5 months ago

Please merge

proux01 commented 5 months ago

Ping @lukaszcz

proux01 commented 5 months ago

Thanks