Stars
⭐ 0
PRs Reviewed
23
Bot Comments
190
Primary Language
Rocq Prover
Merge Rate
91.3%
Avg Time to Merge
18h
Avg Additions
+3.2K
Avg Deletions
-163
Avg Files Changed
17
AI Review Products#
AI code review products active on this repository.
Stars
⭐ 0
PRs Reviewed
23
Bot Comments
190
Primary Language
Rocq Prover
Merge Rate
91.3%
Avg Time to Merge
18h
Avg Additions
+3.2K
Avg Deletions
-163
Avg Files Changed
17
AI code review products active on this repository.
