MadeStone
An introduction to Lean 4, a functional programming language
Описание
The code for this video is here https://github.com/adolfont/LearningProgramming/tree/master/lean4
Most examples were taken from https://leanprover.github.io/lean4/doc/whatIsLean.html
#Lean
#LeanProver
#LeanLang
Рекомендуемые видео
УРА Я ДОМА ПРИЕХАЛА ПРИВЕЗЛА ГОСТИНЦЫ
21 281 просмотров
МИНЬОНЫ в Реальной Жизни ! Влад Бумага А4 Видео Влада Влад а4 Бумага а4 А 4
2 312 просмотров
Зайка моя. Мужское / Женское. 16.04.2026
2 254 просмотров
Сбор блатных и шайка нищих
1 395 просмотров
КУПИЛИ УБИТУЮ КВАРТИРУ/ВОССТАНАВЛИВАЕМ, ВТОРАЯ ЖИЗНЬ/
8 323 просмотров
котики танцуют под песню 1час!
1 110 383 просмотров
Домовёнок Кузя 2 (фильм 2026)
1 110 просмотров
Рик и Морти - 9 сезон, 5 серия (2026) / Rick and Morty
141 523 просмотров
Удивительные космические приключения | Фантастика | Приключения | Фильм
42 715 просмотров
МУСА и РАРА | 2 сезон - #1-16 сери Nussa&Rara
21 552 просмотров
Рик и Морти - 9 сезон, 7 серия (2026) / Rick and Morty
138 716 просмотров
Мятеж (фильм, 2026) / Mutiny
168 916 просмотров
«Полдень» | 1 серия | Уже на КИОН
261 166 просмотров
Если вы хотите по-настоящему стать счастливым – начните искать то, чем будете заниматься всю жизнь
133 135 просмотров
Музыкальный сборник: Лёва и Хоп-Хоп поют весёлые песенки 🎵🚜🦉 | Для детей
14 417 просмотров
Коралина в Стране Кошмаров (2009)
2 296 093 просмотров
Сумерки. Сага. Новолуние (фильм, 2009) / The Twilight Saga: New Moon
105 907 просмотров
Бывшие, 1 сезон, 1 серия
1 460 620 просмотров
🐶 Больница для животных в Roblox 😂 Смешная подборка анимаций. Роблокс 🏥 анимации. Мультики
45 137 просмотров
Проект «Конец света» | Project Hail Mary (2026, 4K)
2 800 128 просмотров