Skip to content

fix(lean-scripts): rendre run_lean9_demos.py compilable (queue orpheline apres un ], premature) - #15945

Closed
jsboige wants to merge 1 commit into
mainfrom
fix/lean9-demos-orphan-tail
Closed

fix(lean-scripts): rendre run_lean9_demos.py compilable (queue orpheline apres un ], premature)#15945
jsboige wants to merge 1 commit into
mainfrom
fix/lean9-demos-orphan-tail

Commits

  1. Commits on Sep 13, 2026