3 ms·
I've heard of Lean some time ago and is now v4. Is the opensource part which is new or has this text not been updated since v1?
by karmakaze 3y ago
I've heard of Lean some time ago and is now v4. Is the opensource part which is new or has this text not been updated since v1?
- uxp8u61q 3y agoI have trouble parsing your sentence, so hopefully what follows will help. - Lean has always been open source. - Lean 4 has been in development for a while, with the first milestone (alpha version) published in January 2021.