Zulip Chat Archive
Stream: Codewars
Topics:
- exercism.org (1 message, latest: Aug 08 2023 at 09:40)
- Group Is Not Union Of Two Proper Subgroups (42 messages, latest: Jul 31 2022 at 15:12)
- Writing a kata (6 messages, latest: May 08 2021 at 19:04)
- Updating all kata to use Lean v3.20.c (1 message, latest: Oct 29 2020 at 04:07)
- kata announcments (2 messages, latest: Aug 31 2020 at 17:36)
- Kata idea: if a UTF-8 string is a palindrome… (1 message, latest: Aug 29 2020 at 03:44)
- Upgrading to Lean 3.18.4 (6 messages, latest: Aug 27 2020 at 08:37)
- Upgrading to Lean 3.18.2 (7 messages, latest: Aug 08 2020 at 15:38)
- Uniform convergence mean we can swap limits! (50 messages, latest: Jul 05 2020 at 05:52)
- Updating to Lean v3.16.3 (5 messages, latest: Jun 20 2020 at 11:43)
- 0.999… = 1? Prove it! (31 messages, latest: Jun 08 2020 at 20:17)
- New kata: Two definitions of Fibonacci words (1 message, latest: Jun 02 2020 at 12:48)
- Lean is now a stable supported language on Codewars (2 messages, latest: May 20 2020 at 05:07)
- syntax highlighter (4 messages, latest: May 20 2020 at 01:28)
- Real Chebyshev (6 messages, latest: May 18 2020 at 16:14)
- easy fermat (21 messages, latest: May 17 2020 at 19:32)
- Updating Lean support to v3.11.0? (36 messages, latest: May 17 2020 at 11:57)
- hackproofing programming katas (58 messages, latest: May 17 2020 at 08:28)
- Revised instructions for solving kata locally (1 message, latest: May 15 2020 at 12:34)
- Almost there! (6 messages, latest: May 13 2020 at 03:07)
- Best practices for codewars hints (2 messages, latest: May 13 2020 at 02:37)
- Kata style (3 messages, latest: May 12 2020 at 05:36)
- tactic-writing kata (4 messages, latest: May 11 2020 at 05:08)
- stream events (1 message, latest: May 11 2020 at 00:24)
Last updated: May 02 2025 at 03:31 UTC