package vscoq-language-server

  1. Overview
  2. Docs

Coq toplevels for delegation without fork

type options
val parse_options : string list -> options * string list
val main : st:Vernacstate.t -> options -> unit
val log : string -> unit
OCaml

Innovation. Community. Security.