1
Формування теорії типу гомотопії в Ідрісі
Переглядаючи блог теорії гомотопічного типу, можна легко знайти багато бібліотек, що формалізують більшість теорій типу гомотопії в Агді та Кок. Хтось знає, чи є якась подібна спроба формалізувати HoTT в Idris ?