Индуктивные типы, классы, группы / Введение в Lean RU L04 | 25s | girafe-ai
Автор: girafe-ai
Загружено: 2025-03-13
Просмотров: 117
Описание:
Лектор: Василий Нестеров
Тема занятия: Индуктивные типы, классы, группы
Дата записи: 13.03.25
Повторяем попытку...
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке: