1. Overview
  2. Docs
Language Server Protocol native server for Coq

Install

github.com Readme Changelog LGPL-2.1-or-later License Edit opam file

Authors

  1. E
    Emilio Jesús Gallego Arias <e@x80.org>
  2. A
    Ali Caglayan <alizter@gmail.com>
  3. S
    Shachar Itzhaky <shachari@cs.technion.ac.il>
  4. R
    Ramkumar Ramachandra <r@artagnon.com>

Maintainers

  1. E
    e@x80.org

Sources

coq-lsp-0.1.4.v8.16.tbz
sha256=50df59eafc5b24a881c1a1dda6f6032b1da35b9b6ade7cb9e39968def9319508
sha512=e1d383b6802758cdbe5cbc6278af275d7951acd78224cdcfe622428942e84366ca283bf375d6e535ad7e8d8e847df84bd763bb2a263fc457dc5aead386c2836d

Description

Language Server Protocol native server for Coq

Published: 30 Jan 2023

Dependencies (7)

  1. camlp-streams >= "5.0"
  2. coq-serapi >= "8.16.0+0.16.2" & < "8.17"
  3. coq >= "8.16.0" & < "8.17"
  4. yojson >= "1.7.0"
  5. cmdliner >= "1.1.0"
  6. dune >= "3.2"
  7. ocaml >= "4.11.0"

Development Dependencies

    None

Reverse Dependencies

    None

Conflicts

    None