← Back to repositories

Verified-zkEVM/ArkLib

github.com/Verified-zkEVM/ArkLib ↗

Lean

Stars

⭐ 182

PRs Reviewed

15

Bot Comments

20

Primary Language

Lean

Merge Rate

66.7%

Avg Time to Merge

5w

Avg Additions

+2.0K

Avg Deletions

-588

Avg Files Changed

12

AI Review Products#

AI code review products active on this repository.