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 to coq/coq#17836 (sort poly)
#163
Closed
SkySkimmer
closed
10 months ago
ppedrot
commented
10 months ago
Please merge now.
Please merge now.