Adapt to coq/coq#13952 - Githubissues

lukaszcz / coqhammer

CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory

Other

217 stars 31 forks source link

Closed SkySkimmer closed 2 years ago

SkySkimmer commented 3 years ago

This is a rebase of https://github.com/lukaszcz/coqhammer/pull/101 to fix conflicts since I can't push to @mattam82's branch.

SkySkimmer commented 2 years ago

Please merge now