Zulip Chat Archive
Stream: new members
Topic: Lean YouTube
Julian Berman (Aug 10 2020 at 16:51):
@Scott Morrison hey! I found/watched a couple of your videos and they're very good thanks for making them! Gave me a thing to do as I wrap up the Natural Number game.
Scott Morrison (Aug 10 2020 at 22:56):
There's lots more videos out there! Have you seen the LftCM2020 playlist?
Last updated: Dec 20 2023 at 11:08 UTC