vsrocq-language-serverversion Documentation on ocaml.org
VSRocq language server
LSP based language server for Rocq and its VSRocq user interface
| Authors | Enrico Tassi, Maxime Dénès and Romain Tetley |
|---|---|
| License | MIT |
| Published | |
| Homepage | https://github.com/rocq-prover/vsrocq |
| Issue Tracker | https://github.com/rocq-prover/vsrocq/issues |
| Maintainer | Enrico Tassi <enrico.tassi@inria.fr> |
| Available | arch != "arm32" & arch != "x86_32" |
| Dependencies |
|
| Conflicts | |
| Source [http] | https://github.com/rocq-prover/vsrocq/releases/download/v2.3.0/vsrocq-language-server-2.3.0.tar.gz md5=703240416ea0203be94095210f6a81ae sha512=be5dd8d06743f10bb712abce99ade7c87ba44f28507e165f0c6c2efc19961ef43be88d1c2093b5e9eb881437b54a0153ab63865c1fb623e51cfed5f517babc66 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/vsrocq-language-server/vsrocq-language-server.2.3.0/opam |
No package is dependent
