Lean 4.15.0 https://github.com/leanprover/lean4/releases/tag/v4.15.0
Mastodon is the best way to keep up with what's happening.
Follow anyone across the fediverse and see it all in chronological order. No algorithms, ads, or clickbait in sight.
