Stars
⭐ 0
PRs Reviewed
6
Bot Comments
8
Primary Language
Rocq Prover
Merge Rate
100.0%
Avg Time to Merge
0m
Avg Additions
+146
Avg Deletions
-22
Avg Files Changed
5
AI Review Products#
AI code review products active on this repository.
Stars
⭐ 0
PRs Reviewed
6
Bot Comments
8
Primary Language
Rocq Prover
Merge Rate
100.0%
Avg Time to Merge
0m
Avg Additions
+146
Avg Deletions
-22
Avg Files Changed
5
AI code review products active on this repository.
