Stars
⭐ 1.4K
PRs Reviewed
3
Bot Comments
2
Primary Language
Rocq Prover
Merge Rate
33.3%
Avg Time to Merge
3h
Avg Additions
+127
Avg Deletions
-62
Avg Files Changed
8
AI Review Products#
AI code review products active on this repository.
Stars
⭐ 1.4K
PRs Reviewed
3
Bot Comments
2
Primary Language
Rocq Prover
Merge Rate
33.3%
Avg Time to Merge
3h
Avg Additions
+127
Avg Deletions
-62
Avg Files Changed
8
AI code review products active on this repository.
