issues
search
whonore
/
Coqtail
Interactive Coq Proofs in Vim
MIT License
274
stars
34
forks
source link
Support Coq 8.17
#324
Closed
whonore
closed
1 year ago