Lean is now a stable supported language on Codewars

Stream: Codewars

[Donald Sebastian Leung]

Lean has just been officially declared as a stable supported language on Codewars! Thank you to all of you who have contributed to our site by actively participating in the Beta Process over the past two months, whether by actively solving Beta kata and casting your votes on them or generating new Lean content by authoring your own kata; we would not have gotten this far in such a short period of time without your involvement.

we-did-it.png

[Jalex Stark]

Thanks Donald for introducing us to this wonderful platform that gets us thinking about pedagogy in different ways :)