Skip to content

[#15682] fix: elaborate the do continuation only once when contracting pure () - #167

Open
downstream-lean4[bot] wants to merge 4 commits into
masterfrom
adaptation-15682
Open

[#15682] fix: elaborate the do continuation only once when contracting pure ()#167
downstream-lean4[bot] wants to merge 4 commits into
masterfrom
adaptation-15682

downstream: follow upstream PR

f0ecdd9
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar