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 w.r.t. coq/coq#18956. #179

Closed ppedrot closed 6 months ago

ppedrot commented 7 months ago

Should be backwards compatible and future-proof.

ppedrot commented 6 months ago

Ping @lukaszcz, this is safe to merge now already.

ppedrot commented 6 months ago

Thanks!