Lean Math Examples A collection of various mathematical theorems/objects/constructs in Lean. If working in VS code, I highly suggest using the display goal info view (ctrl+shift+enter). Resources: Lean standard library