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 mistake in #136 causing fatal warning in Coq's CI #136

Closed ejgallego closed 2 years ago

ejgallego commented 2 years ago

Sorry I did have a rebase or diff problem in #135 and this spurious open Feedback appeared. Please merge, as I broke Coq's CI!

ejgallego commented 2 years ago

Thanks!