Upgrading to Lean 3.18.4

Stream: Codewars

[Donald Sebastian Leung]

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:

[Jalex Stark]

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

[Jalex Stark]

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

[Donald Sebastian Leung]

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.

[Donald Sebastian Leung]

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

[Donald Sebastian Leung]

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: