issues
search
whonore
/
Coqtail
Interactive Coq Proofs in Vim
MIT License
274
stars
34
forks
source link
Add word boundaries to tactic regexes
#271
Closed
whonore
closed
2 years ago