Comment Comment by mattmar96 I believe that is the goal of MathLib, to transcribe all math into a big Lean library.https://lean-lang.org/use-cases/mathlib/ parent mattmar96 25 days ago
https://lean-lang.org/use-cases/mathlib/