Release v4.0.0 · leanprover/lean4
github.com
This is the first official release of Lean 4. We intend to begin regular releases of Lean 4, providing a new "minor" version approximately monthly. We do not yet make promises about backwards compa...
  • wick@lemm.ee
    1·
    1 year ago

    Tbf I went to their website and still don’t know. Some kind of encyclopaedia of math theories I guess.