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

70 Open 43 Closed
70 Open 43 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

Ensure that all headers have permalinks enhancement New feature or request
#199 opened Dec 9, 2024 by david-christiansen
Document underscore separators in numeric literals doc-request Request for missing documenation
#197 opened Dec 9, 2024 by david-christiansen
Errors in formal grammar of Function Binders bug Something isn't working
#194 opened Dec 8, 2024 by nielsvoss
1
Make clearer the difference between what x is in (x), {x}, or {{x}} versus in [x].
#193 opened Dec 8, 2024 by nielsvoss
1
Do the double guillemets become part of the identifier name?
#191 opened Dec 8, 2024 by nielsvoss
1
All axioms break canonicity?
#188 opened Dec 7, 2024 by nielsvoss
Extra documentation for block comments
#187 opened Dec 7, 2024 by nielsvoss
Sigma doc-request Request for missing documenation
#176 opened Nov 28, 2024 by david-christiansen
Universe lifting doc-request Request for missing documenation
#174 opened Nov 28, 2024 by david-christiansen
Subtypes doc-request Request for missing documenation
#173 opened Nov 28, 2024 by david-christiansen
Sums doc-request Request for missing documenation
#172 opened Nov 28, 2024 by david-christiansen
Product types doc-request Request for missing documenation
#171 opened Nov 28, 2024 by david-christiansen
Empty doc-request Request for missing documenation
#170 opened Nov 28, 2024 by david-christiansen
Fin doc-request Request for missing documenation
#169 opened Nov 28, 2024 by david-christiansen
Examples shouldn't be wide enough to scroll for most users
#163 opened Nov 20, 2024 by david-christiansen
FFI details for all basic types doc-request Request for missing documenation
#158 opened Nov 19, 2024 by david-christiansen
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
8
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
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
ProTip! What’s not been updated in a month: updated:<2024-11-11.