I 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, w

I 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.