key | value |
---|---|
id | 169723166 |
name | coq-lsp |
full_name | ejgallego/coq-lsp |
html_url | https://github.com/ejgallego/coq-lsp |
description | Visual Studio Code Extension and Language Server Protocol for Coq |
created_at | Feb. 8, 2019, 11:11 a.m. |
updated_at | May 10, 2024, 1:56 p.m. |
pushed_at | May 10, 2024, 1:46 p.m. |
size | 25,336 |
stargazers_count | 130 |
watchers_count | 7 |
forks_count | 27 |
open_issues | 134 |
language | OCaml |
awesome_list |