Skip to content

fderiv subgradient connection, sumrule 1 fderiv - #252

Merged
RemyDegenne merged 16 commits into
LeanMachineLearning:mainfrom
ISIPINK:subgradient-deriv
Sep 22, 2026
Merged

RemyDegenne merged 16 commits into
LeanMachineLearning:mainfrom
ISIPINK:subgradient-deriv

Merge branch 'main' into subgradient-deriv

e9cce29
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
Build project
succeeded Sep 22, 2026 in 14m 11s