Skip to content

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
Merged

feat(lean,#18205): enveloppe differential_lean -- 3 fermetures + #print axioms#19636
myia-ai-01 merged 3 commits into
mainfrom
feature/18205-differential-envelope

fix(doc,#19636): motif CI du README differential_lean -- retirer Poin…

7cb846f
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar