search

whonore / Coqtail

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

Highlight `Number Notation` and `Declare Custom Entry` #243

Closed Lysxia closed 2 years ago

whonore commented 2 years ago

The CI failure is because of an unrelated pylint regression.