Probably a coincidence, but also Lean Together 2021 [0] is happening next week and it is likely that many Lean 4 details will be revealed there. [0] https://le

Probably a coincidence, but also Lean Together 2021 [0] is happening next week and it is likely that many Lean 4 details will be revealed there. [0] https://leanprover-community.github.io/lt2021/ https://leanprover-community.github.io/lt2021/