Zulip Chat Archive

Stream: Codewars

Topic: Upgrading to Lean 3.18.2


view this post on Zulip Donald Sebastian Leung (Jul 29 2020 at 01:58):

Codewars/codewars-runner-cli#828

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

view this post on Zulip Patrick Lutz (Jul 29 2020 at 02:06):

Is the most recent version in codewars still 3.11?

view this post on Zulip Johan Commelin (Jul 29 2020 at 04:25):

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

view this post on Zulip Donald Sebastian Leung (Jul 30 2020 at 01:55):

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?

view this post on Zulip Johan Commelin (Jul 30 2020 at 03:57):

@Donald Sebastian Leung Hopefully in the next few days.

view this post on Zulip Johan Commelin (Jul 30 2020 at 03:58):

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

view this post on Zulip Donald Sebastian Leung (Aug 08 2020 at 15:38):

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:


Last updated: May 08 2021 at 21:09 UTC