У нас вы можете посмотреть бесплатно Some computer-assisted proofs with Agda - Radical Pi или скачать в максимальном доступном качестве, видео которое было загружено на ютуб. Для загрузки выберите вариант из формы ниже:
Если кнопки скачивания не
загрузились
НАЖМИТЕ ЗДЕСЬ или обновите страницу
Если возникают проблемы со скачиванием видео, пожалуйста напишите в поддержку по адресу внизу
страницы.
Спасибо за использование сервиса ClipSaver.ru
In this talk for an undergraduate math club, I use Agda to demonstrate "proofgramming" with an example of unital left shelves. #agda #proofgramming