A collection of various mathematical theorems/objects/constructs in Lean. - View it on GitHub