7зной
2ответ
тестирование, если тип является типом функции в Идриса
2зной
1ответ
Доказать So (0 < m) -> (п ** т = S п)
5зной
1ответ
Почему язык ATS упал с игры Benchmarks Computer Language?
10зной
2ответ
Есть ли хороший способ использовать `->` непосредственно как функцию в Идрисе?
1зной
1ответ
Forall quantifier и сложные булевы предложения в Idris
11зной
1ответ
scala зависимые от типов типы и доказательства уровня типа
2зной
1ответ
Как применить теоремы для определений с ограничениями в coq