Скачать
Learning Lean in the Age of Artificial Intelligence
Автор: Elixir, Erlang, the BEAM (and Lean)
Загружено: 2025-04-04
Просмотров: 965
Описание:
I didn't mention it in the video, but I've already used ChatGPT to ask questions about Lean, and it worked. I had to specify that it was Lean 4 because a significant portion of the material available online is about Lean 3, which is quite different.
Links:
https://github.com/adolfont
https://github.com/adolfont/learning-...
https://lean-lang.org/
https://lean-lang.org/functional_prog...
Type Theory for All with Leo de Moura
https://www.typetheoryforall.com/epis...
Не удается загрузить Youtube-плеер. Проверьте блокировку Youtube в вашей сети.
Повторяем попытку...
Повторяем попытку...
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке:
