Zulip Chat Archive
Stream: lean4
Topic: YouTube video on pair learning the basics of Lean 4
Avi Craimer (Oct 23 2023 at 11:05):
My friend Richard Southwell and I are learning Lean 4 together using David's book on functional programming in Lean.
The first video in the series was released this morning on YouTube.
https://youtu.be/FPiykrdPe6U?si
We cover the very basics here, so this video would be perfect for a complete beginner.
Avi Craimer (Nov 06 2023 at 14:31):
I was encouraged by the response to our first learning Lean 4 video. We got really encouraging comments and over a thousand views. Clearly, there are a lot of people out there who are curious about learn Lean and I’m glad we have provided something accessible to help beginners.
Today our second video in the series dropped. In this video we learn about data structures and some of the challenges defining recursive functions that avoid non-termination errors.
Last updated: Dec 20 2023 at 11:08 UTC