Learning To Code In Lean 4 With A Friend: Starting Out

Published: 22 October 2023
on channel: Richard Southwell
6,152
196

My friend Avi Cramer and I start learning the Lean 4 functional programming language. This time we cover the basics like installing the language, evaluating arithmetic expressions, type checking and function definitions. The plan is to build towards more advanced topics like recursion, dependent type theory and theorem proving.


Installation:
https://lean-lang.org/lean4/doc/quick...

The Lean book we are following:
https://lean-lang.org/functional_prog...
This video covers 1.1 to 1.3 in the book.

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: Starting Out online without registration, duration hours minute second in high quality. This video was added by user Richard Southwell 22 October 2023, don't forget to share it with your friends and acquaintances, it has been viewed on our site 6,152 once and liked it 196 people.