Scientific Computing in Lean

🖨

Imperative and Monadic Code

Explain how is imperative code done in Lean and it relation to monadic code.

Control flow

Differentiate through if statements and for loop

Differentiable Monad

Forward Derivative Monad

Reverse Derivative Monad