Warning: Some posts on this platform may contain adult material intended for mature audiences only. Viewer discretion is advised. By clicking ‘Continue’, you confirm that you are 18 years or older and consent to viewing explicit content.
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...
Tbf I went to their website and still don’t know. Some kind of encyclopaedia of math theories I guess.