I tweet release notes from github.com/leanprover/lea…. Managed by @derKha.

ID: 1500051144789397505

linkhttps://github.com/leanprover/lean4-nightly/releases calendar_today05-03-2022 10:11:42