Will Lean 4 always be “Lean 4”

Stream: lean4

[crab]

Patrick Massot said:

I don't know for sure the answer to this interesting question, but the preceding case of transitioning from Lean 2 to Lean 3 suggests that the name will converge to Lean. In the mean time we are encouraged to write "Lean 4", not "Lean4".

Thank you for your answer. I do think that Lean 4 will turn into Lean as well