Stars
⭐ 1
PRs Reviewed
4
Bot Comments
5
Primary Language
Agda
Merge Rate
100.0%
Avg Time to Merge
8h
Avg Additions
+6.1K
Avg Deletions
-5.0K
Avg Files Changed
197
AI Review Products#
AI code review products active on this repository.
Stars
⭐ 1
PRs Reviewed
4
Bot Comments
5
Primary Language
Agda
Merge Rate
100.0%
Avg Time to Merge
8h
Avg Additions
+6.1K
Avg Deletions
-5.0K
Avg Files Changed
197
AI code review products active on this repository.
