Город: Санкт-Петербург Новосибирск Казань Язык: Русский English

Доказательства интуиционистских высказываний через явное выписывание термов, упражнения на зависимый паттерн-матчинг
Введение в формальную верификацию программ

Что: Семинар
Когда: Четверг, 25 марта 2021, 20:30–21:30
Где: Конференция в zoom, Онлайн