LEAN4ING Leaning with a capital L. Not to be confused with the hit Lean 3 project leaning. Resources Lean Manual Metaprogramming in Lean 4 Theorem Proving in Lean 4 Functional Programming in Lean 4 (WIP)