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 to coq/coq#16938 (staged options) #150

Closed SkySkimmer closed 1 year ago

SkySkimmer commented 1 year ago

Please merge now

ppedrot commented 1 year ago

Ping.