-
Notifications
You must be signed in to change notification settings - Fork 125
Pull requests: leanprover/verso
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
feat: hoist marginal notes to a context where they can render
#990
opened Sep 21, 2026 by
david-christiansen
Collaborator
Loading…
fix: preserve section anchors on manual headings
bug
Something isn't working
#983
opened Sep 12, 2026 by
ejgallego
Contributor
Loading…
fix: gracefully handle unknown -D options in verso-literate
#969
opened Aug 21, 2026 by
mo271
Loading…
fix: sync lean-toolchain for test projects that build against Verso
#967
opened Aug 21, 2026 by
kim-em
Contributor
Loading…
feat: run Errata tests interactively in a widget
#959
opened Aug 14, 2026 by
david-christiansen
Collaborator
•
3/3
Loading…
feat: shim to allow lean4web to show verso live preview
#884
opened Jun 19, 2026 by
robsimmons
Collaborator
•
Draft
feat: read docstrings from doc-gen4
#776
opened Mar 1, 2026 by
david-christiansen
Collaborator
Loading…
chore: remove unused variables warning showing up in build
#749
opened Feb 9, 2026 by
ejgallego
Contributor
Loading…
EXPERIMENT: elaborate block structures as concrete elements
#693
opened Dec 29, 2025 by
robsimmons
Collaborator
•
Draft
EXPERIMENT: typed syntax as the target of doc elaboration
#692
opened Dec 28, 2025 by
robsimmons
Collaborator
•
Draft
EXPERIMENT: emit part structure as a string
#690
opened Dec 28, 2025 by
robsimmons
Collaborator
•
Draft
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
fix: generate placeholder text for missing
toTex implementations
#518
opened Aug 26, 2025 by
kpadmasola
Loading…
Previous Next
ProTip!
What’s not been updated in a month: updated:<2026-08-22.