1зной
1ответ
Перенос целей более высокого порядка
0зной
2ответ
0зной
1ответ
Почему мое определение функции, которая выбирает элемент из конечного множества непоследовательным?
3зной
2ответ
Докажите основную лемму в Isabelle
1зной
1ответ
2зной
1ответ
Индукция по рекурсивной функции с завихрением
4зной
3ответ
Как включить «Трассировка» в Isabelle/jEdit
1зной
1ответ
Как определить «Most» в Isabelle/FOL?