Гомотопическая теория типов

InBox

Гомотопическая теория типов В. Воеводского (HoTT). Язык программирования - Arend (JetBrains, разновидность HoTT "теория типов с интервалом").Команда математиков за полгода написала 600-страничную книгу, используя GitHub,Arend – язык с зависимыми типами, основанный на HoTT (часть 1).