3зной
2ответ
Как доказать тип формы (a | b) в agda?
13зной
1ответ
Доказывая ассоциативность натурального Кроме того, используя Scala бесформенные
0зной
2ответ
Declare переменного типа, является функцией возвращаемого типа
4зной
1ответ
Как сделать Vect n Int экземпляром Monoid
4зной
1ответ
Неявные преобразования для членов, которые являются типы
2зной
1ответ
Как доказать «~ (nat = False)», «~ (nat = bool)» и «~ (nat = True)» в coq
8зной
1ответ
Как можно доказать или фальсифицировать `forall (P Q: Prop), (P -> Q) -> (Q -> P) -> P = Q.` в Coq?
1зной
3ответ
Каким будет тип списка каскадных функций?
1зной
2ответ
Как доказать, что тип действителен в Agda?