2 ms·

Stumpled upon Lean on YT this morning. Coincidence or anything new upcoming?

• mauricioc 6y ago
  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/