Type theory

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

Участники и подписчики

Джошуа Наима, Россия, Санкт-Петербург
Наима Джошуа
Россия, Санкт-Петербург
Пышкин Алексей, Россия, Санкт-Петербург
Алексей Пышкин
Россия, Санкт-Петербург, 34 года
Фишман Григорий, Россия, Санкт-Петербург
Григорий Фишман
Россия, Санкт-Петербург
Леонов Глеб, Россия, Санкт-Петербург
Глеб Леонов
Россия, Санкт-Петербург, 40 лет
Серебряков Сергей, США, New York City
Сергей Серебряков
США, New York City, 34 года
Давыдов Паша, Россия, Санкт-Петербург
Паша Давыдов
Россия, Санкт-Петербург, 38 лет
Лузгарев Александр, Дания, Hillerød
Александр Лузгарев
Дания, Hillerød, 43 года

Правовая информация

Представленная здесь информация получена из общедоступного открытого источника.
За достоверность информации сайт ответственность не несет.

Если вы администратор группы «Type theory» или являетесь его законным представителем, вы можете удалить эту страницу