search

whonore / Coqtail

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

Ignore new pylint warnings #330

Closed whonore closed 1 year ago