2зной
2ответ
2зной
2ответ
Правильность определения функции проверки в Isabelle
0зной
1ответ
Как явно связывать переменные в индукционном доказательстве?
1зной
2ответ
Как написать эту функцию в SML
0зной
1ответ
Isabelle: Почему я получаю совершенно разные результаты при работе попробовать против кувалды
1зной
2ответ
1зной
1ответ
Как показать, какие классы классов были созданы для nat, int и т. Д.?
0зной
2ответ
Isabelle: запустить команду try без try0