- Stars
- 312 stars (312 stars)
- Forks
- 88 forks (88 forks)
- Indexed issues
- 1 indexed issue (1 indexed issue)
- open beginner issues
- 0 open beginner issues (0 open beginner issues)
- 最終索引
- 2026年7月21日
- 最終 GitHub push
- 2026年7月21日
- 行動規範
- 行動規範はありません
- 主要言語
- Lean
- PR merge metrics
- PR metrics pending (PR metrics pending)
- 初心者向けラベル
- 索引済み初心者向けラベルはありません
Verified-zkEVM/ArkLib #4 は 2024年12月18日 に作成 · Lean · 312 stars
おすすめ理由初心者向けラベルあり · コントリビューションガイドあり
初心者向けラベルありコントリビューションガイドあり
