We learn how to use product types, structures, recursive function definitions and inductive types in Lean 4. Me and my friend Avi Cramer discuss these topics while we learn and code together.
The Lean book we are following: https://lean-lang.org/functional_prog...
Avi's Website: https://avicraimer.com/
Avi's YouTube: • TypeScript Type Theory - E01 - Lambda...
Watch video Learning To Code In Lean 4 With A Friend: Structure And Recursion online without registration, duration hours minute second in high quality. This video was added by user Richard Southwell 05 November 2023, don't forget to share it with your friends and acquaintances, it has been viewed on our site 1,611 once and liked it 53 people.