- Stars
- 406 stars (406 stars)
- Forks
- 154 forks (154 forks)
- Indexed issues
- 2 indexed issues (2 indexed issues)
- open beginner issues
- 0 open beginner issues (0 open beginner issues)
- Latest indexed
- Jul 31, 2026
- Last GitHub push
- Jul 16, 2026
- Contributing guide
- No contributing guide
- Code of conduct
- No code of conduct
- Dominant language
- Lean
- PR merge metrics
- PR metrics pending (PR metrics pending)
- Beginner labels
- No beginner labels indexed
Why recommendedNo assignee yet · No comments yet
No assignee yetNo comments yetHas a beginner-friendly labelRepository active this month
leanprover-community / batteries · #1465 · Oct 16, 2025 · Lean · 406 stars
0 comments0 reactions0 assignees Why recommendedNo assignee yet · Has a beginner-friendly label
No assignee yetHas a beginner-friendly labelRepository active this month
leanprover-community / batteries · #1442 · Oct 2, 2025 · Lean · 406 stars
5 comments0 reactions0 assignees 