Zulip Chat Archive
Stream: Codewars
Topic: kata announcments
Kenny Lau (Aug 31 2020 at 17:30):
Kevin Buzzard (Aug 31 2020 at 17:36):
Chris set a really nice group theory Kata the other day. I took one look at it and thought "duh, trivial induction" and then I tried it and found that it was anything but :-)
Last updated: May 02 2025 at 03:31 UTC