Skip to content

[#14844] fix: collapse empty DiscrTree tries - #24

Merged
downstream-lean4[bot] merged 12 commits into
masterfrom
adaptation-14844
Aug 22, 2026
Merged

[#14844] fix: collapse empty DiscrTree tries#24
downstream-lean4[bot] merged 12 commits into
masterfrom
adaptation-14844

downstream: undo overrides

8a75993
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar