A collection of mathematical types, definitions and proofs in classical mathematics written in LEAN. https://leanprover-community.github.io/mathlib4_docs/
A collection of mathematical types, definitions and proofs in classical mathematics written in LEAN. https://leanprover-community.github.io/mathlib4_docs/