Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / ejgallego / coq-lsp
Visual Studio Code Extension and Language Server Protocol for Coq
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ejgallego%2Fcoq-lsp
Stars: 129
Forks: 27
Open Issues: 129
License: lgpl-2.1
Language: OCaml
Repo Size: 23.9 MB
Dependencies:
0
Created: over 5 years ago
Updated: 24 days ago
Last pushed: 27 days ago
Last synced: 25 days ago
Topics: coq, ide, interactive-theorem-proving, language-server-protocol, user-interface, vscode-extension
Files
Loading...
Readme
Loading...
No dependencies found