coq-lsp

Visual Studio Code Extension and Language Server Protocol for Coq

License

GNU Lesser General Public License v2.1

Visual Studio Code Extension and Language Server Protocol for Coq

Creator

ejgallego

Related apps

pycoq

pycoq

Python bindings for the Coq interactive proof assistant

OCaml50

3 years ago

coqmachine-learningpython