rocq-community/rocq-lsp
Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
⭐ 208
⑂ 63
OCaml
LGPL-2.1
· 3 天前推送
208
Watchers
0
贡献者
0
Commits
0
Releases
149
Open Issues
3 天前
最近推送
原文
中文
暂无 README