Upgrading to Lean 3.18.2

Stream: Codewars

[Donald Sebastian Leung]

Codewars/codewars-runner-cli#828

Feel free to show your support in keeping the Codewars Lean environment updated by upvoting the issue ticket :smile:

[Patrick Lutz]

Is the most recent version in codewars still 3.11?

[Johan Commelin]

No... please wait till mathlib is bumped to 3.18.x. Atm 3.18.x is buggy.

[Donald Sebastian Leung]

Is the most recent version in codewars still 3.11?

Yes, unfortunately. Last time we requested an upgrade to 3.16.x, kazk said that it was too early since there wasn't a two month gap from the previous upgrade

No... please wait till mathlib is bumped to 3.18.x. Atm 3.18.x is buggy.

@Johan Commelin when might I expect this to happen?

[Johan Commelin]

@Donald Sebastian Leung Hopefully in the next few days.

[Johan Commelin]

You can keep an eye on #3610... once that is merged, all should be fine.

[Donald Sebastian Leung]

My fellow Codewarriors,

Lean has just been updated to v3.18.4 on Codewars and 31 Kata are incompatible with this most recent version of Lean. Let us work together to update the content in order to provide a hassle-free environment for those wishing to train on their Lean skills by completing kata on Codewars. In particular, if you find one (or more) of your authored kata on this list then please upgrade your kata to 3.18.4 in your spare time if possible.

Thank you for your help and attention, your effort is much appreciated :smile:

P.S. Thank you to those who worked hard to make Lean run faster. According to kazk, Lean v3.18.4 is about twice as fast as Lean v3.11.x and slightly faster than Lean v3.7.x :tada: