-
Notifications
You must be signed in to change notification settings - Fork 186
Pull requests: leanprover-community/leanprover-community.github.io
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
feat: document the function application naming convention
#886
opened Jun 25, 2026 by
YaelDillies
Contributor
Loading…
feat(naming): update naming conventions for Prop-valued classes
#882
opened Jun 22, 2026 by
fpvandoorn
Member
Loading…
feat(naming): document the
₀ suffix convention
awaiting-author
#870
opened Jun 18, 2026 by
YaelDillies
Contributor
Loading…
feat(teams): add a pointer to the cslib team
#858
opened May 29, 2026 by
grunweg
Contributor
Loading…
chore(how-to-contribute): remove portion about (re)moving declarations
awaiting-author
#849
opened May 22, 2026 by
grunweg
Contributor
Loading…
wip: document the simp-all tactic in the simp guide
#848
opened May 22, 2026 by
grunweg
Contributor
Loading…
style documentation for
where finally
awaiting-author
#844
opened May 14, 2026 by
mcdoll
Member
Loading…
Update PR guidelines to refer to pull request conventions
#822
opened Apr 11, 2026 by
JadAbouHawili
Loading…
Update commit message guidelines in contribute.md
awaiting-author
#753
opened Dec 3, 2025 by
marwahaha
Loading…
chore(documentation.yaml): add Metaprogramming in Lean 4
#752
opened Dec 2, 2025 by
Vierkantor
Contributor
Loading…
Add schema.org structured data to events page
#739
opened Nov 11, 2025 by
jessealama
Contributor
Loading…
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.