← 返回专题广场
rocq-prover
2 个项目 · ⭐ 6681
15 小时前
最近推送
2
Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
OCaml
⭐ 208
⑂ 63
LGPL-2.1
· 3 天前推送
3 天前
最近推送