← 返回专题广场
interactive-theorem-proving
1 个项目 · ⭐ 2081
Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
OCaml
⭐ 208
⑂ 63
LGPL-2.1
· 3 天前推送
3 天前
最近推送