mathlib release note

Stream: mathlib4

[Asei Inoue]

I check out what's new in Lean by reading the release notes.
see: https://github.com/leanprover/lean4/blob/master/RELEASES.md

However, mathlib does not appear to have release notes. How do you guys check for new features in mathlib?

[Yaël Dillies]

I have eyes everywhere :eyes:

[Yaël Dillies]

More seriously, there is #rss which you can follow and there used to be a Month in Mathlib blog post, but it was a lot of effort to keep running so it kind of stopped

[Johan Commelin]

@Asei Inoue Currently the commit log is the best we have (and discussions on zulip). At the latest community meeting, people discussed reviving monthly blogposts that summarised the new maths in mathlib from that month.

[Yaël Dillies]

When I am done with my last ever exams (in a month!!), I will probably take over the aforementioned Month in Mathlib blog post.