Сообщество не верифицировано администрацией ВКонтакте
Видимость
открытое
Популярность:
У сообщества нет огня Прометея
Домен:
typetheory
Описание
Теория типов и гомотопическая теория типов.
Данная группа предназначена для обсуждения широкого круга вопросов, в т.ч.: формализации математики и программ, теории типов, гомотопической теории типов, proof assistant'ам как существующим, так и перспективным.
