← Back to organizations
leanprover-community
github.com/leanprover-community ↗Total Stars
⭐ 4.5K
Repos Tracked
5
PRs with AI Review
59
Bot Comments
261
👍 Thumbs Up
1
👎 Thumbs Down
7
❤️ Hearts
0
AI Review Products#
AI code review products active on leanprover-community's repositories.
Languages#
LeanCSS
Repositories#
Repositories where AI bots review code.