Скачать
Lean 4 Explained in 2^6 Seconds
Автор: Coherence Labs
Загружено: 2026-07-18
Просмотров: 1780
Описание: Lean 4 is the fastest growing theorem prover in the world. Watch to learn what a theorem prover is and why Lean is gaining so much attention.
Не удается загрузить Youtube-плеер. Проверьте блокировку Youtube в вашей сети.
Повторяем попытку...
Повторяем попытку...
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке: