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#19390 (goptions tables can discharge) + fix module substitution #182

Closed SkySkimmer closed 1 month ago

ppedrot commented 1 month ago

Please merge now.

ppedrot commented 1 month ago

ping @lukaszcz