search

lukaszcz / coqhammer

CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
Other
217 stars 31 forks source link

Travis CI fails #99

Closed lukaszcz closed 3 years ago

lukaszcz commented 3 years ago

I fixed issue #45 but now I don't know how to fix Travis CI. @palmskog could you help?