-
Notifications
You must be signed in to change notification settings - Fork 106
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.
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
removed section on documenting tactics, needs to be updated and restored
#319
opened Jun 21, 2023 by
semorrison
Move source of "theory pages" back to mathlib, and check for deadlinks
#287
opened Sep 27, 2022 by
jcommelin
yaml parsing has bug with same-title entries
bug
Something isn't working
#244
opened Jan 22, 2022 by
hrmacbeth
Add a glossary entries for HoTT, UH, TC, fbip, dot notation and API
#226
opened Nov 22, 2021 by
gabriel-doriath-dohler
Mention everywhere that the installation instructions are for Lean 3 and not Lean 4
#157
opened Jan 15, 2021 by
bryangingechen
naming_conventions.md should discuss lift / quotient.lift
#152
opened Dec 18, 2020 by
bryangingechen
I hope this paragraph about
leanpkg
and leanproject
can be made easier to find
#72
opened Jun 27, 2020 by
zjiekai
ProTip!
What’s not been updated in a month: updated:<2024-04-29.