Fix(lean,#15629): Lean-03b formalized logic -- encoding=utf-8 sur les 4 appels subprocess text=True - #19417

Oct 6, 2026

Fix(lean,#15629): Lean-03b formalized logic -- encoding=utf-8 sur les 4 appels subprocess text=True#19417
myia-ai-01 merged 1 commit into
mainfrom
fix/15629-lean03b-encoding

Fix(lean,#15629): Lean-03b formalized logic -- encoding=utf-8 sur les 4 appels subprocess text=True