Skip to content

Issues: leanprover-community/leanprover-community.github.io

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

16 Open 23 Closed
16 Open 23 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Add RSS feeds for courses and events like exists for the blog
#519 opened Aug 25, 2024 by brittAnderson
add tactic list of mathlib4
#462 opened Apr 15, 2024 by Seasawher
removed section on documenting tactics, needs to be updated and restored
#319 opened Jun 21, 2023 by kim-em
Move source of "theory pages" back to mathlib, and check for deadlinks
#287 opened Sep 27, 2022 by jcommelin
The linear algebra page should explain semilinear maps
#285 opened Sep 19, 2022 by jcommelin
@robertylewis @hrmacbeth @dupuisf
Add a glossary entry for metavariable
#251 opened Feb 3, 2022 by stuart-presnell
yaml parsing has bug with same-title entries bug Something isn't working
#244 opened Jan 22, 2022 by hrmacbeth
1
Add a glossary entries for HoTT, UH, TC, fbip, dot notation and API
#226 opened Nov 22, 2021 by gabriel-doriath-dohler
1
{{ cannot be used in markdown files
#168 opened Feb 16, 2021 by bryangingechen
2
Port some docs by Ed Ayers's edlib repo
#153 opened Dec 28, 2020 by bryangingechen
naming_conventions.md should discuss lift / quotient.lift style-guide
#152 opened Dec 18, 2020 by bryangingechen
tweet cards like in the docs
#131 opened Sep 24, 2020 by robertylewis
2
source in install/project
#95 opened Jul 15, 2020 by shingtaklam1324
more variable conventions style-guide
#59 opened Jun 14, 2020 by bryangingechen
todo/done toggles for overview.html and 100.html
#53 opened Jun 5, 2020 by jcommelin
notation docs
#15 opened May 15, 2020 by jcommelin
ProTip! Add no:assignee to see everything that’s not assigned.