fix(lean,#15629): subprocess encoding="utf-8" sur l'appel lake env lean du notebook Lean-22 - #15668

fix(lean,#15629): subprocess encoding="utf-8" sur l'appel lake env lean du notebook Lean-22#15668

jsboige merged 1 commit into

mainjsboige/CoursIA:mainfrom

fix/15629-lean22-subprocess-encodingjsboige/CoursIA:fix/15629-lean22-subprocess-encodingCopy head branch name to clipboard