Total Stars
⭐ 10.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↗ | 8,769 | Lean | 13 | 16 |
| cslib↗ | 647 | Lean | 1 | 4 |
| verso↗ | 374 | Lean | 1 | 5 |
| reference-manual↗ | 124 | Lean | 1 | 0 |
| lean-action↗ | 39 | Shell | 1 | 10 |
| lean-kernel-arena↗ | 33 | Lean | 1 | 0 |