Skip to content

Render structured declarations with pinned package dependencies - #7

Open
williamjblair wants to merge 5 commits into
leanprover:mainfrom
williamjblair:codex/pinned-package-dependencies
Open

Render structured declarations with pinned package dependencies#7
williamjblair wants to merge 5 commits into
leanprover:mainfrom
williamjblair:codex/pinned-package-dependencies

Commits

Commits on Sep 8, 2026