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#18938 (EConstr.ERelevance) #178

Closed SkySkimmer closed 4 months ago

ppedrot commented 4 months ago

Please merge now.