package coq-lsp

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

Install

Dune Dependency

github.com Readme Changelog Edit opam file Versions (32)

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.2.3.9.0.tbz
sha256=8776582dddfe768623870cf540ff6ba1e96a44a36e85db18ab93d238d640f92a
sha512=2837889bf99bfe715bd0e752782211a76a14aac71ed37a4fb784f4f0abe338352c9c6d8caa37daf79c036997add1cb306c523f793625b38709f3b5e245380223

doc/index.html

coq-lsp

API

Library Astdump_plugin

Library Example_plugin

Library Explain_errors

Library Goaldumpl_plugin

Library Savevo_plugin

Library Unidiff_plugin

Library coq-lsp.coq

Library coq-lsp.fleche

Library coq-lsp.lang

Library coq-lsp.lsp

Library coq-lsp.petanque

Library coq-lsp.request

Library coq-lsp.serlib

Library fleche_waterproof

Library petanque_json

Library petanque_shell

Library serlib_btauto

Library serlib_cc

Library serlib_cc_core

Library serlib_extraction

Library serlib_firstorder

Library serlib_firstorder_core

Library serlib_funind

Library serlib_ltac

Library serlib_ltac2

Library serlib_ltac2_ltac1

Library serlib_micromega

Library serlib_micromega_core

Library serlib_nsatz_core

Library serlib_number_string_notation_plugin

Library serlib_ring

Library serlib_ssr

Library serlib_ssrmatching

Library serlib_tauto

Library serlib_zify

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct
On This Page
  1. API
    1. Library Astdump_plugin
    2. Library Example_plugin
    3. Library Explain_errors
    4. Library Goaldumpl_plugin
    5. Library Savevo_plugin
    6. Library Unidiff_plugin
    7. Library coq-lsp.coq
    8. Library coq-lsp.fleche
    9. Library coq-lsp.lang
    10. Library coq-lsp.lsp
    11. Library coq-lsp.petanque
    12. Library coq-lsp.request
    13. Library coq-lsp.serlib
    14. Library fleche_waterproof
    15. Library petanque_json
    16. Library petanque_shell
    17. Library serlib_btauto
    18. Library serlib_cc
    19. Library serlib_cc_core
    20. Library serlib_extraction
    21. Library serlib_firstorder
    22. Library serlib_firstorder_core
    23. Library serlib_funind
    24. Library serlib_ltac
    25. Library serlib_ltac2
    26. Library serlib_ltac2_ltac1
    27. Library serlib_micromega
    28. Library serlib_micromega_core
    29. Library serlib_nsatz_core
    30. Library serlib_number_string_notation_plugin
    31. Library serlib_ring
    32. Library serlib_ssr
    33. Library serlib_ssrmatching
    34. Library serlib_tauto
    35. Library serlib_zify