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
fix dune build
#157
Closed
Alizter
closed
1 year ago
Alizter
commented
1 year ago
Fix the dune build
Cleanup warnings
Fix coq.theory stanza theory decleration