Updating to Lean v3.16.3

Stream: Codewars

[Donald Sebastian Leung]

It's now been another month or so since we last updated to the latest Lean version and enough has changed that the discrepancy between the latest Lean version and that used on Codewars is starting to become noticeable. What does everyone think about opening another issue request to request for Lean v3.16.3 support? Note that we'll have to migrate our existing content again to the newest version, but I suppose it'll be easier to migrate sooner rather than later.

[Donald Sebastian Leung]

Also, does anyone know about the performance of 3.16.3 compared to, say, 3.11.0?

[Reid Barton]

on all of mathlib it should be like twice as fast (or more?), though not sure how that will translate to kata solutions in the small

[Donald Sebastian Leung]

Codewars/codewars-runner-cli#824

[Chris Wong]

It would be interesting to see how often we update in the future. Looks like kazk is hesitant to do quicker than 2 months.