Repository navigation

Fix(lean,#24240): conway_lean -- marqueurs (ce PR)/(this PR) perimes remplaces par leur PR de merge - #24428

Merged

myia-ai-01 merged 5 commits into

mainfrom

fix/24240-ce-pr-marker

Nov 5, 2026

Merged

Fix(lean,#24240): conway_lean -- marqueurs (ce PR)/(this PR) perimes remplaces par leur PR de merge#24428
myia-ai-01 merged 5 commits into
mainfrom
fix/24240-ce-pr-marker

Commits on Nov 3, 2026
- Fix(lean,#24240): conway_lean -- marqueurs (ce PR)/(this PR) perimes remplaces par leur PR de merge
  
  jsboige
  and
  claude
  committed
  919ef4d
Commits on Nov 4, 2026
- Merge remote-tracking branch 'origin/main' into fix/24240-ce-pr-marker
  jsboige
  committed
  ae3bfa0
- Fix(lean,#24240): conway_lean -- ancrer #6690/#6707/#6710 dans les cross-references
  
  jsboige
  and
  claude
  committed
  b6ff931
- Fix(lean,#24240): re-exec cellule live-read 16c -- FreeWillTheorem.lean 233->234 lignes
  
  jsboige
  and
  claude
  committed
  4332707
- Fix(lean,#24240): retirer le bloc papermill perime du carnet Lean-16c
  
  jsboige
  and
  claude
  committed
  c4e7124