Skip to content

refactor: split registerParametricAttribute into extension creation and registration#14344

Open
wkrozowski wants to merge 2 commits into
leanprover:masterfrom
wkrozowski:wojciech/splitParametricAttribute
Open

refactor: split registerParametricAttribute into extension creation and registration#14344
wkrozowski wants to merge 2 commits into
leanprover:masterfrom
wkrozowski:wojciech/splitParametricAttribute

chore: refactor `gerParam?` and `setParam`

23a92e3
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-stdlib-flags
succeeded Jul 24, 2026 in 5s