← Back to repositories

Verified-zkEVM/iris-lean

github.com/Verified-zkEVM/iris-lean ↗

TeXFork

Stars

⭐ 13

PRs Reviewed

1

Bot Comments

1

Primary Language

TeX

Merge Rate

100.0%

Avg Time to Merge

8h

Avg Additions

+9.6K

Avg Deletions

-2.1K

Avg Files Changed

87

AI Review Products#

AI code review products active on this repository.