Repository navigation

feat(lean,#18205): enveloppe differential_lean -- 3 fermetures + #print axioms - #19636

Merged

myia-ai-01 merged 3 commits into

mainfrom

feature/18205-differential-envelope

Oct 7, 2026

Commits on Oct 7, 2026
- feat(lean,#18205): enveloppe differential_lean -- 3 fermetures + #print axioms
  
  jsboige
  and
  claude
  committed
  ceedc7a
- fix(prose,#19636): retrait des 2 compteurs de prose du README differential_lean
  
  jsboige
  and
  claude
  committed
  32c4243
- fix(doc,#19636): motif CI du README differential_lean -- retirer Poincare/#18100
  
  jsboige
  and
  claude
  committed
  7cb846f