Skip to content

Pull requests: leanprover/verso

New pull request New
19 Open 654 Closed
19 Open 654 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

chore: bump to nightly-2026-03-09
#792 opened Mar 10, 2026 by david-christiansen Loading…
Docgen dump docstrings
#776 opened Mar 1, 2026 by david-christiansen • Draft
fix: improve syntax precision for start of #doc blocks
#771 opened Feb 26, 2026 by ejgallego Loading…
15
[don't merge] demonstrate baffling grind failure
#770 opened Feb 26, 2026 by robsimmons • Draft
1
ci: gate PR manual preview on user guide changes
#765 opened Feb 24, 2026 by ejgallego Loading…
5
feat: Improve role resolution error diagnostics
#763 opened Feb 23, 2026 by ejgallego • Draft
2
refactor: use parser restarting API instead of whitespace padding
#750 opened Feb 9, 2026 by ejgallego • Draft
4
chore: remove unused variables warning showing up in build
#749 opened Feb 9, 2026 by ejgallego Loading…
4
chore: Run build and test suite jobs on MacOS and Windows
#724 opened Jan 30, 2026 by ejgallego • Draft
feat: elaborate block structures as concrete elements
#693 opened Dec 29, 2025 by robsimmons • Draft
4
feat: typed syntax as the target of doc elaboration
#692 opened Dec 28, 2025 by robsimmons • Draft
12
refactor: rename VersoDoc to DocThunk
#691 opened Dec 28, 2025 by robsimmons Loading…
10
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
22
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! Type g i on any issue or pull request to go back to the issue listing page.