package coq-lsp

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

Install

dune-project
 Dependency

Authors

Maintainers

Sources

coq-lsp-0.2.3.8.18.tbz
sha256=f574f3323a00eab3c158ae70dfd88fbbe90c8c86f95e0f175570266d5b401b14
sha512=2bd46a630a21306ccd62469f29fa60bb43d96c62d8236abafd15f9c2cd904070d92ec566263d1b8f151698914a6d740e5f6adcfb020c338e90a0b23a4457bc16

doc/coq-lsp.petanque/Petanque/Agent/Run_result/index.html

Module Agent.Run_resultSource

Sourcetype 'a t = {
  1. st : 'a;
  2. hash : int option;
    (*

    State.Proof.hash st if enabled / proof is open.

    *)
  3. proof_finished : bool;
  4. feedback : (int * string) list;
    (*

    level and message

    *)
}
OCaml

Innovation. Community. Security.