Skip to content

Pull requests: leanprover/doc-gen4

New pull request New
6 Open 273 Closed
6 Open 273 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
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

fix: don't include oleans in the documentation trace
#382 opened Apr 14, 2026 by david-christiansen Contributor Loading…
1
feat: print the scoped notations correctly
#375 opened Apr 1, 2026 by sehun1024 Loading…
feat: save Format to db instead of rendered text
#367 opened Mar 3, 2026 by david-christiansen Contributor Loading…
35
feat: sublibrary for adding supplement pages and sections
#340 opened Jan 5, 2026 by Vierkantor Contributor Loading…
Added support for specifying max heartbeats via an env. variable or a CLI argument
#336 opened Dec 7, 2025 by NicolasRouquette Contributor Loading…
4
feat: linkify library notes
#321 opened Oct 9, 2025 by Vierkantor Contributor • Draft
ProTip! Filter pull requests by the default branch with base:main.
⚡