issues
search
coq
/
vscoq
Visual Studio Code extension for Coq
MIT License
335
stars
68
forks
source link
[Chore] Update documentation
#853
Closed
rtetley
closed
2 months ago
rtetley
commented
2 months ago
Update the documentation to:
[x] better reflect which coq versions we support
[x] showcase new functionalities
rtetley
commented
2 months ago
Closed by #856
Update the documentation to: