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.1.0+coq8.19/vscoq-language-server-2.1.0-coq8.19.tar.gz md5=7bdc4ae44d8d6ab21d586e20835a1b79 sha512=7ab8ddae303a9b9ec2d62338edbf4176ca1146ed29e34eb02cf41fc91bf21d507c6e571ba30b73e45869d25a750d7915e79b915d962629cb9aed1598e0b68795 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/vscoq-language-server/vscoq-language-server.2.1.0+coq8.19/opam |
No package is dependent
