Total Stars
⭐ 9.5K
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↗ | 8,356 | Lean | 13 | 16 |
| cslib↗ | 607 | Lean | 1 | 4 |
| verso↗ | 354 | Lean | 1 | 5 |
| reference-manual↗ | 118 | Lean | 1 | 0 |
| lean-action↗ | 35 | Shell | 1 | 10 |
| lean-kernel-arena↗ | 28 | Lean | 1 | 0 |