← Back to repositories
lfglabs-dev/ethereum-verification-benchmark
github.com/lfglabs-dev/ethereum-verification-benchmark ↗Lean
Stars
⭐ 1
PRs Reviewed
2
Bot Comments
6
Primary Language
Lean
Merge Rate
50.0%
Avg Time to Merge
2h
Avg Additions
+1.4K
Avg Deletions
-71
Avg Files Changed
15
AI Review Products#
AI code review products active on this repository.
