Zulip Chat Archive
Stream: Codewars
Topic: New kata: Two definitions of Fibonacci words
Chris Wong (Jun 02 2020 at 12:48):
I wrote my first Lean kata: https://www.codewars.com/kata/5eaad37e96b2c400205f9905/train
Please let me know what you think!
Last updated: Dec 20 2023 at 11:08 UTC