Скачать с ютуб видео Francisco Ferreira: Why do I write proofs? (12 March 2025)

Не удается загрузить Youtube-плеер. Проверьте блокировку Youtube в вашей сети.
Повторяем попытку...

Скачать видео с ютуб по ссылке или смотреть без блокировок на сайте: Francisco Ferreira: Why do I write proofs? (12 March 2025) в качестве 4k

У нас вы можете посмотреть бесплатно Francisco Ferreira: Why do I write proofs? (12 March 2025) или скачать в максимальном доступном качестве, видео которое было загружено на ютуб. Для загрузки выберите вариант из формы ниже:

Информация по загрузке:

Скачать mp3 с ютуба отдельным файлом. Бесплатный рингтон Francisco Ferreira: Why do I write proofs? (12 March 2025) в формате MP3:

Если кнопки скачивания не загрузились НАЖМИТЕ ЗДЕСЬ или обновите страницу
Если возникают проблемы со скачиванием видео, пожалуйста напишите в поддержку по адресу внизу страницы.
Спасибо за использование сервиса ClipSaver.ru

Francisco Ferreira: Why do I write proofs? (12 March 2025)

Abstract: In this talk I explore the purpose of mechanised proofs in my research in programming languages. I do not think that my reasons are very personal or specific, so I hope the reasons are of interest to others. I will talk about three scenarios. The first illustrates how proofs clarify existing ideas. Then, how certified tools can be built from formalised proofs. And finally proofs serve as an exploratory tool to develop new ideas on a solid foundation.

Comments