Stars
⭐ 50
PRs Reviewed
17
Bot Comments
47
Primary Language
Agda
Merge Rate
88.2%
Avg Time to Merge
13d
Avg Additions
+949
Avg Deletions
-393
Avg Files Changed
18
AI Review Products#
AI code review products active on this repository.
Stars
⭐ 50
PRs Reviewed
17
Bot Comments
47
Primary Language
Agda
Merge Rate
88.2%
Avg Time to Merge
13d
Avg Additions
+949
Avg Deletions
-393
Avg Files Changed
18
AI code review products active on this repository.
