Almost there!

Stream: Codewars

[Donald Sebastian Leung]

So we now have 49 approved Lean kata - 1 to go before we can bug kazk again to consider moving Lean out of Beta :wink:

As for the total number of kata (approved and beta), we now have 77 in Lean compared to 79 in Coq (and 50 in Agda, 24 in Idris). Well done! It should be noted that it took us just under 1.5 months to get to 77 kata in Lean, compared to about a year to get to 79 in Coq.

[Donald Sebastian Leung]

And we now have 50! Given that kazk stays true to his word, Lean support should be able to leave Beta within the next 24 hours.

[Mario Carneiro]

wow those last 30414093201713378043612608166064768844377641568960511999999999951 kata sure went fast

[Reid Barton]

I hope you used the new norm_num for that

[Mario Carneiro]

I memorized these as a kid, what do you mean?

[Donald Sebastian Leung]

I've opened Codewars/codewars.com#2134 as per kazk's request (for moving Lean support on Codewars out of Beta), feel free to show your support by adding your :+1: to the issue ticket.