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 (case relevance outside case info)
#170
Closed
SkySkimmer
closed
9 months ago
ppedrot
commented
9 months ago
Please merge now.
Please merge now.