Learning To Code In Lean 4 With A Friend: Structure And Recursion
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...
Смотрите видео Learning To Code In Lean 4 With A Friend: Structure And Recursion онлайн без регистрации, длительностью часов минут секунд в хорошем качестве. Это видео добавил пользователь Richard Southwell 05 Ноябрь 2023, не забудьте поделиться им ссылкой с друзьями и знакомыми, на нашем сайте его посмотрели 1,611 раз и оно понравилось 53 людям.