leanprover-community

leanprover-community/leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.

Stars: 84
Forks: 190
Open beginner issues: 0
Indexed issues: 20
Avg merge: 1d 12h
Merged PRs (30d): 12

Dominant language: CSS
License: MIT
Last GitHub push: Sep 16, 2026
Latest indexed: Sep 18, 2026
Contributing guide: No contributing guide
Code of conduct: No code of conduct
Beginner labels: No beginner labels indexed

Beginner friendly Everything

Open All

20 open issues indexed

Explanation Site for AI Proofs / Comparator Guide Open

Difficulty 5/5 Over a week Newbie friendliness 35/100

leanprover-community/leanprover-community.github.io#832 · 4 comments · Opened Apr 26, 2026
add type signatures to theorems demonstrating naming conventions Open

Difficulty 3/5 1-2 days Newbie friendliness 55/100

leanprover-community/leanprover-community.github.io#818 · 1 comment · Opened Apr 7, 2026
Add schema.org structured data to events page Open

Difficulty 3/5 1-2 days Newbie friendliness 45/100

leanprover-community/leanprover-community.github.io#738 · 1 comment · Opened Nov 11, 2025
Move more of 1000.yaml processing to mathlib ci Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

leanprover-community/leanprover-community.github.io#648 · Opened Jun 19, 2025
Incomplete list of common tactics in tactic cheatsheet Open

Difficulty 2/5 1-3 hours Newbie friendliness 48/100

leanprover-community/leanprover-community.github.io#642 · Opened Jun 13, 2025
Add RSS feeds for courses and events like exists for the blog Open

Difficulty 3/5 1-2 days Newbie friendliness 45/100

leanprover-community/leanprover-community.github.io#519 · Opened Aug 25, 2024
add tactic list of mathlib4 Open

Difficulty 4/5 3-5 days Newbie friendliness 25/100

leanprover-community/leanprover-community.github.io#462 · Opened Apr 15, 2024
removed section on documenting tactics, needs to be updated and restored Open

Difficulty 2/5 1-3 hours Newbie friendliness 35/100

leanprover-community/leanprover-community.github.io#319 · Opened Jun 21, 2023
Move source of "theory pages" back to mathlib, and check for deadlinks Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

leanprover-community/leanprover-community.github.io#287 · Opened Sep 27, 2022
The linear algebra page should explain semilinear maps Open

leanprover-community/leanprover-community.github.io#285 · 1 reaction · 3 assignees · Opened Sep 19, 2022
Add a glossary entry for `metavariable` Open

Difficulty 2/5 1-3 hours Newbie friendliness 35/100

leanprover-community/leanprover-community.github.io#251 · Opened Feb 3, 2022
Add a glossary entries for HoTT, UH, TC, fbip, dot notation and API Open

Difficulty 2/5 1-3 hours Newbie friendliness 48/100

leanprover-community/leanprover-community.github.io#226 · 1 comment · Opened Nov 22, 2021
`{{` cannot be used in markdown files Open

Difficulty 3/5 1-2 days Newbie friendliness 35/100

leanprover-community/leanprover-community.github.io#168 · 2 comments · Opened Feb 16, 2021
Port some docs by Ed Ayers's edlib repo Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

leanprover-community/leanprover-community.github.io#153 · 2 reactions · Opened Dec 28, 2020
naming_conventions.md should discuss lift / quotient.lift Open

style-guide

Difficulty 2/5 1-3 hours Newbie friendliness 25/100

leanprover-community/leanprover-community.github.io#152 · Opened Dec 18, 2020
tweet cards like in the docs Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

leanprover-community/leanprover-community.github.io#131 · 2 comments · Opened Sep 24, 2020
`source` in install/project Open

Difficulty 2/5 Half a day Newbie friendliness 42/100

leanprover-community/leanprover-community.github.io#95 · Opened Jul 15, 2020
more variable conventions Open

style-guide

Difficulty 2/5 1-3 hours Newbie friendliness 50/100

leanprover-community/leanprover-community.github.io#59 · 1 reaction · Opened Jun 14, 2020
todo/done toggles for overview.html and 100.html Open

Difficulty 2/5 1-3 hours Newbie friendliness 35/100

leanprover-community/leanprover-community.github.io#53 · Opened Jun 5, 2020
notation docs Open

Difficulty 3/5 1-2 days Newbie friendliness 25/100

leanprover-community/leanprover-community.github.io#15 · Opened May 15, 2020

A short digest of beginner-friendly GitHub issues.