← Back to organizations
leanprover-community
github.com/leanprover-community ↗Total Stars
⭐ 5.1K
Repos Tracked
5
PRs with AI Review
61
Bot Comments
265
👍 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.