leanprover-community/project-intentions
View on GitHubAn informational registry of projects people are working on in the Lean/Mathlib community. No guarantees; purely a way to make intentions visible.
- Stars
- 5
- Forks
- 1
- Open beginner issues
- 0
- Indexed issues
- 19
- Avg merge
- 7d 19h
- Merged PRs (30d)
- 4
- Dominant language
- Python
- License
- No license data
- Last GitHub push
- Sep 15, 2026
- Latest indexed
- Sep 18, 2026
- Contributing guide
- No contributing guide
- Code of conduct
- No code of conduct
- Beginner labels
- No beginner labels indexed
-
intention t-number-theory
leanprover-community/project-intentions#43 · 5 comments · 1 assignee ·
-
intention t-number-theory
leanprover-community/project-intentions#42 · 3 comments · 1 assignee ·
-
intention t-number-theory
leanprover-community/project-intentions#41 · 1 comment · 1 assignee ·
-
intention t-number-theory
leanprover-community/project-intentions#39 · 1 comment · 1 assignee ·
-
intention t-algebra
leanprover-community/project-intentions#34 · 2 comments · 1 assignee ·
-
intention t-algebra t-algebraic-geometry
Difficulty 5/5 Over a week Newbie friendliness 35/100
leanprover-community/project-intentions#33 · 5 comments ·
-
intention t-differential-geometry
leanprover-community/project-intentions#32 · 4 comments · 1 assignee ·
-
intention t-analysis
leanprover-community/project-intentions#31 · 12 comments · 1 assignee ·
-
intention t-dynamics t-measure-probability
leanprover-community/project-intentions#30 · 7 comments · 1 assignee ·
-
intention t-algebra t-number-theory
leanprover-community/project-intentions#27 · 13 comments · 6 assignees ·
-
intention t-differential-geometry
leanprover-community/project-intentions#26 · 1 assignee ·
-
intention t-measure-probability
leanprover-community/project-intentions#24 · 1 assignee ·
-
intention t-number-theory
leanprover-community/project-intentions#21 · 1 comment · 1 assignee ·
-
intention t-measure-probability t-number-theory
leanprover-community/project-intentions#20 · 3 comments · 1 assignee ·
-
intention t-differential-geometry
leanprover-community/project-intentions#17 · 1 comment · 1 reaction · 1 assignee ·
-
intention t-analysis t-functional-analysis
leanprover-community/project-intentions#15 · 3 assignees ·
-
intention t-algebra
leanprover-community/project-intentions#14 · 1 comment · 1 assignee ·
-
intention t-algebraic-topology t-category-theory
leanprover-community/project-intentions#5 · 2 comments · 1 assignee ·
-
intention t-algebra
leanprover-community/project-intentions#4 · 2 comments · 1 reaction · 1 assignee ·