3зной
2ответ
1зной
1ответ
Scala зависимые продукты без бессмысленно проливает
0зной
1ответ
Установить изоморфизм между ограниченными натуралами и натуральными, которые удовлетворяют границам?
8зной
1ответ
`Refl` вещь в Исчислении Конструкций?
1зной
2ответ
Как определить частично упорядоченные множества в Lean?
2зной
1ответ
Понимание `к: Nat ** 5 * к = n` Подпись
0зной
1ответ
Как определить все субразмеры HVect?
2зной
1ответ
Agda: Как вывести доказательство _≤_ (или, как реализовать двоичное дерево поиска)