Stars
⭐ 0
PRs Reviewed
22
Bot Comments
188
Primary Language
Rocq Prover
Merge Rate
90.9%
Avg Time to Merge
19h
Avg Additions
+3.3K
Avg Deletions
-166
Avg Files Changed
18
AI Review Products#
AI code review products active on this repository.
Stars
⭐ 0
PRs Reviewed
22
Bot Comments
188
Primary Language
Rocq Prover
Merge Rate
90.9%
Avg Time to Merge
19h
Avg Additions
+3.3K
Avg Deletions
-166
Avg Files Changed
18
AI code review products active on this repository.
