2зной
1ответ
Что означает утверждение perm_invK в Ssreflect?
2зной
1ответ
4зной
1ответ
Являются ли конструкторы непересекающимися в Агда? (или как опровергнуть inj₁ x ≡ inj₂ y)
1зной
1ответ
Изабель: Доказательство разницы между 2 списками
2зной
1ответ
Как заставить OTTER генерировать все тавтологии определенной длины?
0зной
1ответ
Решение уравнений проекционной функции с использованием SMT в Z3
0зной
1ответ
Пропозициональные логика - свойства Разрешение