仓库议题

Verified-zkEVM/ArkLib

Formally Verified Arguments of Knowledge in Lean

在 GitHub 查看
Star
 (312 star)
Fork
 (88 fork)
已索引议题
 (1 个已索引议题)
个开放新手议题
 (0 个开放新手议题)
最近索引
2026年7月21日
最近 GitHub push
2026年7月21日
许可证
Apache License 2.0
贡献指南
贡献指南
行为准则
没有行为准则
主要语言
Lean
PR 合并指标
 (PR 指标待抓取)
新手标签
没有已索引的新手标签

议题

1 个开放索引议题

RSSAtom