-
Notifications
You must be signed in to change notification settings - Fork 103
Pull requests: leanprover/verso
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
ci: add actionable fix command to toolchain consistency check
#825
opened Apr 8, 2026 by
kim-em
Contributor
Loading…
feat: read docstrings from doc-gen4
#776
opened Mar 1, 2026 by
david-christiansen
Collaborator
Loading…
fix: improve syntax precision for start of #doc blocks
#771
opened Feb 26, 2026 by
ejgallego
Contributor
Loading…
[don't merge] demonstrate baffling grind failure
#770
opened Feb 26, 2026 by
robsimmons
Collaborator
•
Draft
ci: gate PR manual preview on user guide changes
#765
opened Feb 24, 2026 by
ejgallego
Contributor
Loading…
chore: remove unused variables warning showing up in build
#749
opened Feb 9, 2026 by
ejgallego
Contributor
Loading…
feat: elaborate block structures as concrete elements
#693
opened Dec 29, 2025 by
robsimmons
Collaborator
•
Draft
feat: typed syntax as the target of doc elaboration
#692
opened Dec 28, 2025 by
robsimmons
Collaborator
•
Draft
refactor: 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…
WIP: produce Expr directly for Verso docs instead of term syntax
#453
opened Jun 25, 2025 by
david-christiansen
Collaborator
•
Draft
feat: convert docComments in Literate Lean pages
#425
opened Jun 9, 2025 by
pimotte
Contributor
Loading…
ProTip!
Add no:assignee to see everything that’s not assigned.