Announcing Lean 3.20.c support for Codewars

Stream: general

[Donald Sebastian Leung]

The Codewars community is excited to announce the immediate availability of Lean 3.20.c for 89% of all Lean Kata (challenges) as of 12/10/2020, with the percentage expected to increase as the remaining content are migrated from 3.18.c. Here at Codewars, we believe that practice makes perfect and in order to ensure the continued quality of our platform as an invaluable training resource for those wishing to learn Lean and/or further refine their Lean-fu, it is necessary to update our Lean version on a regular basis.

At the time of writing, there are 95 Kata of varying difficulty to choose from, with topics including but not limited to: number theory, algebra, analysis, synthetic geometry and even category theory. With your help, we can further expand our library of available Kata and support an ever more diverse range of Lean challenges.

Happy sparring, and don’t forget to cast your votes on Kata you have completed along the way :martial_arts:

• Lean challenges on Codewars
• Lean environment on Codewars
• Feel free to drop by the #Codewars stream for questions and discussion related to Lean challenges on Codewars