1зной
1ответ
1зной
1ответ
Используя индукцию, чтобы доказать линейный алгоритм максимального подмассив
0зной
1ответ
Простое доказательство потока в Coq
84зной
1ответ
Как читать это «доказательство» GHC Core?
8зной
1ответ
Как можно доказать или фальсифицировать `forall (P Q: Prop), (P -> Q) -> (Q -> P) -> P = Q.` в Coq?
2зной
1ответ
Доказать So (0 < m) -> (п ** т = S п)