Learning To Code In Lean 4 With A Friend: Starting Out
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...
Смотрите видео Learning To Code In Lean 4 With A Friend: Starting Out онлайн без регистрации, длительностью часов минут секунд в хорошем качестве. Это видео добавил пользователь Richard Southwell 22 Октябрь 2023, не забудьте поделиться им ссылкой с друзьями и знакомыми, на нашем сайте его посмотрели 6,152 раз и оно понравилось 196 людям.