Skip to content

feat(lean,#13106): module GradientFlow — évanouissement c^n vs survie (1-c)^n (digestion, forme formalisation) - #14980

Merged
myia-ai-01 merged 1 commit into
mainfrom
feature/13106-gradientflow-lean
Sep 7, 2026
Merged

feat(lean,#13106): module GradientFlow — évanouissement c^n vs survie (1-c)^n (digestion, forme formalisation)#14980
myia-ai-01 merged 1 commit into
mainfrom
feature/13106-gradientflow-lean

feat(lean,#13106): module GradientFlow — evanouissement c^n (pile pla…

d78b3e3
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar