Lean is such a wonderful language. So hyped by these releases.