coq-lsp.fleche
Info.Goals
We move towards a more modular design here, for preprocessing
Example_plugin
coq-lsp.coq
coq-lsp.lang
coq-lsp.lsp
coq-lsp.plugin
fleche_waterproof
val goals : st:Coq.State.t -> Pp.t Coq.Goals.reified_pp option
val program : st:Coq.State.t -> Declare.OblState.View.t Names.Id.Map.t