Zulip Chat Archive

Stream: Codewars

Topic: Updating to Lean v3.16.3


view this post on Zulip Donald Sebastian Leung (Jun 18 2020 at 12:50):

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.

view this post on Zulip Donald Sebastian Leung (Jun 18 2020 at 12:50):

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

view this post on Zulip Reid Barton (Jun 18 2020 at 12:51):

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

view this post on Zulip Donald Sebastian Leung (Jun 18 2020 at 12:57):

Codewars/codewars-runner-cli#824

view this post on Zulip Chris Wong (Jun 20 2020 at 11:43):

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


Last updated: May 08 2021 at 21:09 UTC