Total Stars
⭐ 8.6K
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↗ | 7,740 | Lean | 13 | 16 |
| cslib↗ | 460 | Lean | 1 | 4 |
| verso↗ | 282 | Lean | 1 | 5 |
| reference-manual↗ | 105 | Lean | 1 | 0 |
| lean-action↗ | 31 | Shell | 1 | 10 |
| lean-kernel-arena↗ | 21 | Lean | 1 | 0 |