package vsrocq-language-server
 sectionYPositions = computeSectionYPositions($el), 10)"
  x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
  >
  
  
On This Page
  
  
  VSRocq language server
Install
    
    dune-project
 Dependency
Authors
Maintainers
Sources
  
    
      vsrocq-language-server-2.3.3.tar.gz
    
    
        
    
  
  
  
    
  
  
    
  
        md5=c3f17c36f162c6be3ed6f35a30e3a18d
    
    
  sha512=32c67c0a915d0983332337d891ccc40d3204b04e83c8d307cffdda06df7798db8bedb74e705101d2c83d595cfb2e4f82ecbf576fe3c385ec7ead9689f50f7d05
    
    
  Description
LSP based language server for Rocq and its VSRocq user interface
Published: 29 Oct 2025
Dependencies (16)
- 
  
    sel
  
  
    >= "0.6.0"
- 
  
    lsp
  
  
    >= "1.15"
- 
  
    result
  
  
    >= "1.5"
- ppx_optcomp
- ppx_import
- ppx_yojson_conv
- sexplib
- ppx_deriving
- ppx_sexp_conv
- ppx_assert
- ppx_inline_test
- ocamlfind
- 
  
    jsonrpc
  
  
    >= "1.15"
- yojson
- 
  
    dune
  
  
    >= "3.5"
- 
  
    ocaml
  
  
    >= "4.14"
Dev Dependencies (4)
- 
  
    rocq-stdlib
  
  
    ((>= "9.0+rc1" & < "9.2~") | (= "dev"))
- 
  
    coq-stdlib
  
  
    ((>= "8.18" & < "8.21") | (= "dev"))
- 
  
    rocq-core
  
  
    ((>= "9.0+rc1" & < "9.2~") | (= "dev"))
- 
  
    coq-core
  
  
    ((>= "8.18" & < "8.21") | (= "dev"))
Used by (1)
- 
  
    vscoq-language-server
  
  
    >= "2.3.3"
Conflicts (1)
- 
  
    vscoq-language-server
  
  
    < "2.2.7~"
 sectionYPositions = computeSectionYPositions($el), 10)"
  x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
  >
  
  
  On This Page