-
Notifications
You must be signed in to change notification settings - Fork 119
Pull requests: leanprover/verso
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
fix: use saved environment for verso-blog's inline Lean
#961
opened Aug 15, 2026 by
berberman
Loading…
feat: run Errata tests interactively in a widget
#959
opened Aug 14, 2026 by
david-christiansen
Collaborator
•
3/3
Loading…
chore: migrate the test suite to Errata
#957
opened Aug 14, 2026 by
david-christiansen
Collaborator
•
2/3
Loading…
feat: add the Errata test framework
#956
opened Aug 14, 2026 by
david-christiansen
Collaborator
•
1/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…
EXPERIMENT: produce Expr directly for Verso docs instead of term syntax
#453
opened Jun 25, 2025 by
david-christiansen
Collaborator
•
Draft
ProTip!
Updated in the last three days: updated:>2026-08-13.