Zulip Chat Archive

Stream: Codewars

Topic: Upgrading to Lean 3.18.4


view this post on Zulip Donald Sebastian Leung (Aug 16 2020 at 01:43):

Gentle reminder for authors who have not updated their kata yet: there are currently 21 Lean kata incompatible with 3.18.4; your efforts to keep the content up to date is much appreciated :smile:

view this post on Zulip Jalex Stark (Aug 16 2020 at 01:43):

what's the mechanism for updating kata that I'm not the author for?

view this post on Zulip Jalex Stark (Aug 16 2020 at 01:45):

is there like a github-style notion of a pull request?

view this post on Zulip Donald Sebastian Leung (Aug 16 2020 at 01:47):

If the kata was originally in Coq and only later translated to Lean then one can fork the original Lean translation, apply the changes necessary (and confirm that Lean v3.18.4 is selected) and submit the fork for review and approval. Otherwise, if it was originally authored in Lean then only the original author (or a moderator with 6k+ honor) may edit the kata - in that case, feel free to PM me the fixes and I will apply them.

view this post on Zulip Donald Sebastian Leung (Aug 16 2020 at 02:00):

@Jalex Stark BTW just noticed that your kata already has 3.18.4 enabled, thanks for taking the time to update your kata :+1:

view this post on Zulip Donald Sebastian Leung (Aug 27 2020 at 08:37):

I'm glad to announce that all of our Lean kata have been successfully updated to use Lean v3.18.4, happy sparring! :martial_arts:


Last updated: May 08 2021 at 22:13 UTC