coq-lsp
Visual Studio Code Extension and Language Server Protocol for Coq
145 stars
6 watching
31 forks
Language: OCaml
last commit: 11 days ago
Linked from 1 awesome list
coqideinteractive-theorem-provinglanguage-server-protocoluser-interfacevscode-extension
coq-community/awesome-coq