倉庫議題

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