vscoq-language-serverversion
VSCoq language server
LSP based language server for Coq and its VSCoq user interface
| Authors | Enrico Tassi, Maxime Dénès and Romain Tetley |
|---|---|
| License | MIT |
| Published | |
| Homepage | https://github.com/coq-community/vscoq |
| Issue Tracker | https://github.com/coq-community/vscoq/issues |
| Maintainer | Enrico Tassi <enrico.tassi@inria.fr> |
| Dependencies |
|
| Source [http] | https://github.com/coq-community/vscoq/releases/download/v2.0.1+coq8.18/vscoq-language-server-2.0.1-coq8.18.tar.gz md5=0bb4d33ce17c0ff2922b089b62ef6477 sha512=f1918867f09a3bba3276490f9aaae899117d8a37e4e7e2d8d64bf65dc0ad72b0708a7c3075ceaedd86e8ced70796df62169cf7277049b6a45117e3e666187017 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/vscoq-language-server/vscoq-language-server.2.0.1+coq8.18/opam |
No package is dependent
