← Back to repositories
lfglabs-dev/ethereum-verification-benchmark
github.com/lfglabs-dev/ethereum-verification-benchmark ↗Lean
Stars
⭐ 3
PRs Reviewed
4
Bot Comments
6
Primary Language
Lean
Merge Rate
50.0%
Avg Time to Merge
48m
Avg Additions
+5.7K
Avg Deletions
-36
Avg Files Changed
11
AI Review Products#
AI code review products active on this repository.
