Govind Pimpale and I are working on implementing automatic differentiation in lean, following along with autodidax.
a
lean-autograd
public
2 stars
0 forks
0 issues
Commits
List of commits on branch main.Unverified
ad326f464a42900271769b3bc6bb3f49bd20bc001st commit
aalok committed 3 months ago