Thanks to visit codestin.com
Credit goes to leanprover.github.io

Warning: This is the reference manual for Lean 3. Please see the new manual for Lean 4.

7. Programming¶

7.1. The Virtual Machine¶

7.2. Monads¶

(Describe instances of monads and monadic notation.)