Up
–
coq-lsp
»
Coq
»
State
» Proof
Module
State.Proof
Proof states
type
t
val
to_coq :
t
->
Vernacstate
.LemmaStack.t