search

lukaszcz / coqhammer

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

Adapt w.r.t coq/coq#15327. #116

Closed ppedrot closed 2 years ago

SkySkimmer commented 2 years ago

Please merge now