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: May 08 2021 at 19:11 UTC