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.2+coq8.18/vscoq-language-server-2.0.2-coq8.18.tar.gz md5=8a4ff41372c157688170f0174e58d646 sha512=852f4e8cc7e687805e0707368a5625ef3c226d1373f677a731d32a04f8d0cb2f5d64ffdf350b0a5e446ff5075982dc36f2bc9d533d3862009f73fc22fd04fcc0 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/vscoq-language-server/vscoq-language-server.2.0.2+coq8.18/opam |
No package is dependent
