lean-math-examples. A collection of various mathematical theorems/objects/constructs in Lean.