Lean 4.0.0-m4 release

Stream: lean4

[Marc Huisinga]

For visibility: m4 released yesterday!
So much cool new stuff.

[Henrik Böving]

While this is here, is there anything specific planned for m5? Or do we stay with "the top prio is getting mathlib ported" @Leonardo de Moura ?

[Leonardo de Moura]

@Henrik Böving Yes, "getting mathlib ported" is still high-priority. In the next release, we hope to include missing proof automation, fix pending issues, add stuff that is blocking mathport, better documentation, etc.