由于 trendforge.devlive.top 访问受限，请切换到 trendforge.devlive.org 域名

rocq-prover

话题找到数量

rocq-prover/vsrocq

OCaml

用于Coq的Visual Studio Code扩展

coq editor rocq
rocq-prover
rocq-prover 开发者
454
106
278
排名 #12
6月29日
查看详情

rocq-community/rocq-lsp

OCaml

适用于Rocq/Coq的Visual Studio Code扩展和语言服务器协议 [维护者=@gbdrt,@SkySkimmer,@tabareau]

coq ide interactive-theorem-proving
rocq-community
rocq-community 开发者
206
62
260
排名 #5
7月9日
查看详情

rocq-prover/opam

OCaml

按不同仓库组织的所有Rocq和Coq相关opam包存档

coq opam opam-repository
rocq-prover
rocq-prover 开发者
172
181
295
+1
排名 #17
6月29日
查看详情
助手