| key | value |
|---|---|
| id | 196233996 |
| name | vscoq |
| full_name | coq-community/vscoq |
| html_url | https://github.com/coq-community/vscoq |
| description | A Visual Studio Code extension for Coq [maintainers=@rtetley,@maximedenes,@huynhtrankhanh,@thery,@Blaisorblade] |
| created_at | July 10, 2019, 3:48 p.m. |
| updated_at | April 25, 2024, 1:15 p.m. |
| pushed_at | April 25, 2024, 1:15 p.m. |
| size | 72,641 |
| stargazers_count | 307 |
| watchers_count | 15 |
| forks_count | 62 |
| open_issues | 112 |
| language | OCaml |
| awesome_list |