Skip to content

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

Merged
downstream-lean4[bot] merged 5 commits into
masterfrom
adaptation-15682
Oct 20, 2026
Merged

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

Commits

  1. Commits on Oct 14, 2026

  2. Commits on Oct 19, 2026

  3. Commits on Oct 20, 2026