leanprover-community/mathlib4 Issues

Stars: (3,869 stars)
Forks: (1,592 forks)
Indexed issues: (17 indexed issues)
open beginner issues: (17 open beginner issues)
Latest indexed: Aug 10, 2026
Last GitHub push: Aug 16, 2026
License: Apache License 2.0
Contributing guide: Contributing guide
Code of conduct: Code of conduct
Dominant language: Lean
PR merge metrics: (No merged PRs in 30d)
Beginner labels: good first issuehelp wanted

Issues

0 closed indexed issues

No closed indexed issues found for this repository.