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

81 Open 79 Closed
81 Open 79 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

repeat ... until missing doc-request Request for missing documenation
#334 opened Mar 7, 2025 by Kha
Is there a way to get the whole manual as a single page?
#330 opened Mar 1, 2025 by alok
1
kinds of metavariables doc-request Request for missing documenation
#329 opened Feb 27, 2025 by fpvandoorn
1
Make it clearer that the domain and definition item are related in quick jump, esp on mobile
#326 opened Feb 26, 2025 by jakobvase
2
"A configuration options, which should include the fields of..."
#325 opened Feb 25, 2025 by TwoFX
Ground-term reduction and symbolic evaluation doc-request Request for missing documenation
#324 opened Feb 25, 2025 by TwoFX
Add dark mode to the reference manual
#323 opened Feb 24, 2025 by jakobvase
Improvements to the table of contents HTML/CSS Problems with the HTML or CSS of the manual
#317 opened Feb 22, 2025 by jakobvase
2
Plugins and dynamic library loading doc-request Request for missing documenation
#310 opened Feb 17, 2025 by david-christiansen
State Monad typo
#308 opened Feb 15, 2025 by vlad902
convenience macros for complex expressions
#303 opened Feb 13, 2025 by nomeata
more simp and rw differences doc-request Request for missing documenation
#289 opened Feb 5, 2025 by fpvandoorn
explain how simp works doc-request Request for missing documenation
#288 opened Feb 5, 2025 by fpvandoorn
Explicitly describe recurring API patterns doc-request Request for missing documenation
#285 opened Feb 4, 2025 by david-christiansen
Stray variable in example bug Something isn't working
#284 opened Feb 4, 2025 by david-christiansen
Better document when cases can be used doc-request Request for missing documenation
#283 opened Feb 4, 2025 by david-christiansen
confusing wording of "tail position" description
#281 opened Feb 3, 2025 by edegeltje
1
Spelling suggestions for notation doc-request Request for missing documenation
#276 opened Feb 3, 2025 by david-christiansen
Improve testing of Lake examples enhancement New feature or request
#273 opened Feb 3, 2025 by david-christiansen
Built-in operators and their precedence doc-request Request for missing documenation
#271 opened Feb 2, 2025 by eyelash
4
Why isn't a propositional computation rule for quotients enough to derive funext? doc-request Request for missing documenation
#267 opened Jan 30, 2025 by david-christiansen
Counterexamples for Lean's type system doc-request Request for missing documenation
#266 opened Jan 30, 2025 by TwoFX
Unify terminology around indexed families doc-request Request for missing documenation
#262 opened Jan 28, 2025 by david-christiansen
hard to distinguish text from code
#256 opened Jan 23, 2025 by joneugster
1
Document Lean's Language Server Functionalities doc-request Request for missing documenation
#255 opened Jan 17, 2025 by Julian
1
ProTip! Adding no:label will show everything without a label.