Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
Stars
197
Forks
52
Watchers
197
Open Issues
144
Overall repository health assessment
No package.json found
This might not be a Node.js project
1.6k
commits
142
commits
77
commits
59
commits
23
commits
15
commits
11
commits
11
commits
7
commits
7
commits
[meta] Archive message and release notes.
bd6fb39View on GitHubMerge pull request #1078 from ejgallego/timeout
08dce31View on GitHub[wasm] Update interrupt patch to account for timeouts
988372cView on GitHubMerge pull request #1067 from Durbatuluk1701/message_limit
beecdb5View on GitHub[vscode] Add info view configuration manager and option for number of messages displayed
fe3c7f3View on GitHub