Skip to content

Fix: Lean-19c formules E1/E3 en LaTeX -- detect_code_in_markdown_cells vert sur main (rouge base-inherited) - #21366

Merged
myia-ai-01 merged 2 commits into
mainfrom
fix/lean19c-latex-formulas
Oct 19, 2026
Merged

Fix: Lean-19c formules E1/E3 en LaTeX -- detect_code_in_markdown_cells vert sur main (rouge base-inherited)#21366
myia-ai-01 merged 2 commits into
mainfrom
fix/lean19c-latex-formulas

Merge branch 'main' into fix/lean19c-latex-formulas

8f60777
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar