Skip to content

Pull requests: leanprover/verso

New pull request New
17 Open 744 Closed
17 Open 744 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: shim code for lean4web
#884 opened Jun 19, 2026 by robsimmons Collaborator • Draft
fix: label external declaration sections without h1
#880 opened Jun 18, 2026 by ejgallego Contributor • Draft
5
fix: parse parenthesized Markdown link URLs
#879 opened Jun 18, 2026 by nkgotcode Loading…
1
1
feat: lightweight HTTP server for Verso projects
#876 opened Jun 15, 2026 by david-christiansen Collaborator Loading…
feat: color themes
#863 opened May 29, 2026 by david-christiansen Collaborator • Draft
7 tasks done
1
feat: read docstrings from doc-gen4
#776 opened Mar 1, 2026 by david-christiansen Collaborator Loading…
1
refactor: use parser restarting API instead of whitespace padding
#750 opened Feb 9, 2026 by ejgallego Contributor • Draft
4
chore: remove unused variables warning showing up in build
#749 opened Feb 9, 2026 by ejgallego Contributor Loading…
4
chore: Run build and test suite jobs on MacOS and Windows
#724 opened Jan 30, 2026 by ejgallego Contributor • Draft
EXPERIMENT: elaborate block structures as concrete elements
#693 opened Dec 29, 2025 by robsimmons Collaborator • Draft
4
EXPERIMENT: typed syntax as the target of doc elaboration
#692 opened Dec 28, 2025 by robsimmons Collaborator • Draft
12
EXPERIMENT: rename VersoDoc to DocThunk
#691 opened Dec 28, 2025 by robsimmons Collaborator • Draft
10
EXPERIMENT: emit part structure as a string
#690 opened Dec 28, 2025 by robsimmons Collaborator • 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 Contributor Loading…
5 tasks
1
23
fix: generate placeholder text for missing toTex implementations
#518 opened Aug 26, 2025 by kpadmasola Loading…
10
EXPERIMENT: produce Expr directly for Verso docs instead of term syntax
#453 opened Jun 25, 2025 by david-christiansen Collaborator • Draft
5
ProTip! Type g i on any issue or pull request to go back to the issue listing page.