Reviews
Visual Studio Code Extension and Language Server Protocol for Coq
Search similar apps
License
GNU Lesser General Public License v2.1
Related apps
pycoq
Python bindings for the Coq interactive proof assistant
OCaml50
3 years ago
coqmachine-learningpython