issues
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 w.r.t. coq/coq#15159.
#114
Closed
ppedrot
closed
2 years ago
SkySkimmer
commented
2 years ago
Please merge now
Please merge now