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.1/vsrocq-language-server-2.3.1.tar.gz md5=521c971030f0cf552a2566b08b7b57f7 sha512=ef1ddf8a84db5557023a3f128b9fbde5e7fe910d1c6dc8d8c7b55b71636e7deddbf2675516120320de39c25ae39463b9fab1ddaa8217c097f405501e36361f28 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/vsrocq-language-server/vsrocq-language-server.2.3.1/opam |
No package is dependent
