evhub/lean-math-examples

A collection of various mathematical theorems/objects/constructs in Lean.

Lean