Repository navigation

Fix(lean,#19480): errors=replace sur subprocess utf-8 dans 5 carnets Lean - #19564

Closed

jsboige wants to merge 2 commits into

mainfrom

feature/19480-lean-wsl-errors

Closed

Fix(lean,#19480): errors=replace sur subprocess utf-8 dans 5 carnets Lean#19564
jsboige wants to merge 2 commits into
mainfrom
feature/19480-lean-wsl-errors

Commits on Oct 7, 2026
- Fix(lean,#19480): errors=replace sur subprocess utf-8 dans 5 carnets Lean (5/5 wsl subprocess.run) -- reader-thread cp1252
  
  jsboige
  and
  claude
  committed
  6ae2c69
- fix(lean,19564): remove extra '(' before '[' in subprocess.run calls (5/5 notebooks)
  
  jsboige
  and
  claude
  committed
  2c88d58