Skip to content

Issues: leanprover/reference-manual

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

58 Open 24 Closed
58 Open 24 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

Disable scrolling and interation with main page when ToC is open on mobile ASAP To be done as soon as possible HTML/CSS Problems with the HTML or CSS of the manual
#155 opened Nov 18, 2024 by david-christiansen
1
Atom validation rules doc-request Request for missing documenation
#153 opened Nov 18, 2024 by david-christiansen
UserWidget doc-request Request for missing documenation
#152 opened Nov 17, 2024 by Seasawher
2
Dedicated indices for particular kinds of entries enhancement New feature or request
#151 opened Nov 16, 2024 by david-christiansen
Error marker rendered on top of text on mobile
#149 opened Nov 15, 2024 by Kha
1
Coercions doc-request Request for missing documenation
#146 opened Nov 10, 2024 by david-christiansen
Attributes doc-request Request for missing documenation
#144 opened Nov 8, 2024 by david-christiansen
There shouldn't be horizontal scroll space on mobile ASAP To be done as soon as possible HTML/CSS Problems with the HTML or CSS of the manual
#138 opened Nov 4, 2024 by david-christiansen
1
6
How to write a correct Repr instance? doc-request Request for missing documenation
#135 opened Nov 1, 2024 by david-christiansen
withMainContext doc-request Request for missing documenation
#132 opened Oct 29, 2024 by hrmacbeth
1
Transparency modes doc-request Request for missing documenation March 2025 Targeted by March 2025
#131 opened Oct 29, 2024 by hrmacbeth
1
The description of why strict posivity is needed is wrong bug Something isn't working
#124 opened Oct 24, 2024 by david-christiansen
1
Incorporate the Monad Map from the Mathlib wiki doc-request Request for missing documenation
#123 opened Oct 24, 2024 by david-christiansen
Pretty printing doc-request Request for missing documenation
#122 opened Oct 24, 2024 by david-christiansen
2
Unification hints doc-request Request for missing documenation
#118 opened Oct 22, 2024 by david-christiansen
Document permalinks/xref system ASAP To be done as soon as possible doc-request Request for missing documenation
#113 opened Oct 21, 2024 by david-christiansen
Option doc-request Request for missing documenation
#110 opened Oct 21, 2024 by david-christiansen
Meta-issue: Standard library doc-request Request for missing documenation
#109 opened Oct 21, 2024 by david-christiansen
List doc-request Request for missing documenation
#108 opened Oct 21, 2024 by david-christiansen
Float doc-request Request for missing documenation
#107 opened Oct 21, 2024 by david-christiansen
Bitvectors doc-request Request for missing documenation
#106 opened Oct 21, 2024 by david-christiansen
Fixed-precision integers doc-request Request for missing documenation
#105 opened Oct 21, 2024 by david-christiansen
Int doc-request Request for missing documenation
#104 opened Oct 21, 2024 by david-christiansen
IO doc-request Request for missing documenation
#103 opened Oct 21, 2024 by david-christiansen
Monads and do-notation doc-request Request for missing documenation
#102 opened Oct 21, 2024 by david-christiansen
ProTip! Adding no:label will show everything without a label.