← Back to repositories

Verified-zkEVM/ArkLib

github.com/Verified-zkEVM/ArkLib ↗

Lean

Stars

⭐ 304

PRs Reviewed

17

Bot Comments

28

Primary Language

Lean

Merge Rate

58.8%

Avg Time to Merge

5w

Avg Additions

+2.8K

Avg Deletions

-2.1K

Avg Files Changed

16

AI Review Products#

AI code review products active on this repository.