coq-lsp.fleche
Io.Log
coq-lsp.coq
coq-lsp.lsp
val trace : string -> ?extra:string -> string -> unit
val feedback : Coq.Message.t list -> unit
For unexpected feedback