Skip to content

Pull requests: leanprover/verso

New pull request New
11 Open 569 Closed
11 Open 569 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

feat: elaborate block structures as concrete elements
#693 opened Dec 29, 2025 by robsimmons • Draft
feat: typed syntax as the target of doc elaboration
#692 opened Dec 28, 2025 by robsimmons • Draft
4
refactor: rename VersoDoc to DocThunk
#691 opened Dec 28, 2025 by robsimmons Loading…
refactor: emit part structure as a string
#690 opened Dec 28, 2025 by robsimmons • Draft
4
verso-manual: Increase responsive layout breakpoints
#686 opened Dec 21, 2025 by AmateurECE Loading…
feat: add dark mode support via prefers-color-scheme
#676 opened Dec 16, 2025 by alok Loading…
5 tasks
1
2
feat: tutorials genre
#600 opened Oct 29, 2025 by david-christiansen Loading…
1
fix: generate placeholder text for missing toTex implementations
#518 opened Aug 26, 2025 by kpadmasola Loading…
10
WIP: produce Expr directly for Verso docs instead of term syntax
#453 opened Jun 25, 2025 by david-christiansen • Draft
5
feat: Add Book for bibliography
#443 opened Jun 19, 2025 by SnO2WMaN • Draft
9
feat: convert docComments in Literate Lean pages
#425 opened Jun 9, 2025 by pimotte Loading…
4
ProTip! Filter pull requests by the default branch with base:main.