Skip to content

fix(lean,#18053): tranche Lean -- DANGLING_INTRO Lean-01-Setup cell[3] + INTERP_BEFORE_CODE Lean-7b-Examples cell[21] - #19878

Merged
myia-ai-01 merged 1 commit into
mainfrom
fix/18053-lean-interp-positioning
Oct 8, 2026
Merged

fix(lean,#18053): tranche Lean -- DANGLING_INTRO Lean-01-Setup cell[3] + INTERP_BEFORE_CODE Lean-7b-Examples cell[21]#19878
myia-ai-01 merged 1 commit into
mainfrom
fix/18053-lean-interp-positioning

Fix(#18053): tranche Lean -- DANGLING_INTRO Lean-01-Setup cell[3] + I…

258f5b6
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar