Скачать
A Practical Introduction to Lean | Bhavik Mehta
Автор: ItaLean
Загружено: 2026-02-05
Просмотров: 29
Описание:
ABSTRACT
A one-hour crash course on formalising mathematics in the Lean proof assistant, aimed at working mathematicians with no prior experience in formal methods.
REFERENCES
• Code: https://github.com/pitmonticone/ItaLe...
Не удается загрузить Youtube-плеер. Проверьте блокировку Youtube в вашей сети.
Повторяем попытку...
Повторяем попытку...
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке:
