Skip to content

[#14953] feat: remove deprecated in-kernel native reduction - #27

Merged
downstream-lean4[bot] merged 4 commits into
masterfrom
adaptation-14953
Aug 29, 2026
Merged

[#14953] feat: remove deprecated in-kernel native reduction#27
downstream-lean4[bot] merged 4 commits into
masterfrom
adaptation-14953

downstream: undo overrides

fb57dfe
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar