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

22 Open 16 Closed
22 Open 16 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

Undergrad math not in mathlib: Outdated?
#530 opened Sep 25, 2024 by harahu
2
statistics page: make mathlib3 graphs end when the repo was archived
#529 opened Sep 19, 2024 by bryangingechen
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
Where is the archive generator?
#452 opened Mar 17, 2024 by srid
1
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
Mention everywhere that the installation instructions are for Lean 3 and not Lean 4
#157 opened Jan 15, 2021 by bryangingechen
Port some docs by Ed Ayers's edlib repo
#153 opened Dec 28, 2020 by bryangingechen
naming_conventions.md should discuss lift / quotient.lift
#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
I hope this paragraph about leanpkg and leanproject can be made easier to find
#72 opened Jun 27, 2020 by zjiekai
5
more variable conventions
#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
Naming conventions doc has significant amount of duplicated text
#62 opened Apr 29, 2018 by spl
1
ProTip! Exclude everything labeled bug with -label:bug.