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