Stars
⭐ 461
PRs Reviewed
1
Bot Comments
0
Primary Language
Rocq Prover
Merge Rate
0.0%
Avg Time to Merge
—
Avg Additions
+8
Avg Deletions
-2
Avg Files Changed
2
AI Review Products#
AI code review products active on this repository.
Stars
⭐ 461
PRs Reviewed
1
Bot Comments
0
Primary Language
Rocq Prover
Merge Rate
0.0%
Avg Time to Merge
—
Avg Additions
+8
Avg Deletions
-2
Avg Files Changed
2
AI code review products active on this repository.
