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

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

Что: Лекция
Когда: Четверг, 25 марта 2021, 22:30–00:00
Где: Конференция в zoom, Онлайн

Видео