У нас вы можете посмотреть бесплатно [London Learning Lean] Group cohomology, by Amelia Livingston или скачать в максимальном доступном качестве, видео которое было загружено на ютуб. Для загрузки выберите вариант из формы ниже:
Если кнопки скачивания не
загрузились
НАЖМИТЕ ЗДЕСЬ или обновите страницу
Если возникают проблемы со скачиванием видео, пожалуйста напишите в поддержку по адресу внизу
страницы.
Спасибо за использование сервиса ClipSaver.ru
London Learning Lean is a seminar where mathematicians discuss more advanced mathematical formalisations (i.e. typically beyond undergraduate level) in the Lean theorem prover. For a list of upcoming seminars, check out https://researchseminars.org/seminar/...