Семинар: «Среда для определения и изучения систем зависимых типов и необходимые для неё метатеоретические средства»
состоялся 12 октября (18.00) 2023 г.
Помимо сотрудников компании в семинаре
приняли участие аспиранты и магистры
НИЯУ МИФИ и МФТИ. Семинар прошел он-лайн.
Разработчик