search

whonore / Coqtail

Interactive Coq Proofs in Vim
MIT License
274 stars 34 forks source link

Filter out warnings before deciding to abort #226

Closed whonore closed 3 years ago

whonore commented 3 years ago

Fix #225