search

lukaszcz / coqhammer

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

Adapt w.r.t. coq/coq#12565. #84

Closed ppedrot closed 4 years ago

ppedrot commented 4 years ago

Don't merge yet.

mattam82 commented 4 years ago

Please merge now, thanks!