issues
search
coq
/
vscoq
Visual Studio Code extension for Coq
MIT License
335
stars
68
forks
source link
Bump version for pre-release
#839
Closed
rtetley
closed
2 months ago