Total Stars
⭐ 11.0K
Repos Tracked
6
PRs with AI Review
18
Bot Comments
35
👍 Thumbs Up
4
👎 Thumbs Down
1
❤️ Hearts
0
AI Review Products#
AI code review products active on leanprover's repositories.
Languages#
ShellLean
Repositories#
Repositories where AI bots review code.
| Repository | ⭐ Stars | Language | Reviewed PRs | Bot Comments |
|---|---|---|---|---|
| lean4↗ | 9,626 | Lean | 13 | 16 |
| cslib↗ | 776 | Lean | 1 | 4 |
| verso↗ | 396 | Lean | 1 | 5 |
| reference-manual↗ | 135 | Lean | 1 | 0 |
| lean-kernel-arena↗ | 51 | Lean | 1 | 0 |
| lean-action↗ | 50 | Shell | 1 | 10 |