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

prover

话题找到数量

unionlabs/union

Rust

该信任最小化的零知识跨链协议专为抗审查、极高安全性和去中心化金融应用场景而设计。

astro blockchain cosmos
unionlabs
unionlabs 开发者
73k
3.9k
561
+4
排名 #14
6月15日
查看详情

Julian/lean.nvim

Lua

Neovim 对 Lean 定理证明器的支持

lean lean4 leanprover
Julian
Julian 开发者
503
46
421
+1
排名 #15
4月2日
查看详情

rocq-prover/vsrocq

OCaml

用于Coq的Visual Studio Code扩展

coq editor rocq
rocq-prover
rocq-prover 开发者
454
106
267
排名 #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
233
排名 #5
7月9日
查看详情

rocq-prover/opam

OCaml

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

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