☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (1)
Dependencies (2)
LeanDidax2
0.1.0
Pedagogical autodiff library in Lean 4 with forward/reverse modes and vectorization
Transitive
Include transitive dependencies
Sort by
Require Order
Git dependency.
Found on Reservoir.
plausible
v4.18.0-rc1
1
20
LeanDidax20.1.0LeanDidax20.1.0