Stars
⭐ 1
PRs Reviewed
13
Bot Comments
36
Primary Language
Rocq Prover
Merge Rate
84.6%
Avg Time to Merge
4h
Avg Additions
+1.0K
Avg Deletions
-135
Avg Files Changed
9
AI Review Products#
AI code review products active on this repository.
Stars
⭐ 1
PRs Reviewed
13
Bot Comments
36
Primary Language
Rocq Prover
Merge Rate
84.6%
Avg Time to Merge
4h
Avg Additions
+1.0K
Avg Deletions
-135
Avg Files Changed
9
AI code review products active on this repository.
