0зной
1ответ
Isabelle: новая аксиома для неопределенных функций
1зной
1ответ
доказывает простое неравенство в Isabelle
3зной
3ответ
Переписывание с отношениями эквивалентности эквивалентности с использованием упрощения Isabelle
0зной
2ответ
Мне нужен рабочий учебник по Isabelle и Sledgehammer
3зной
3ответ
Как увидеть пошаговые рассуждения о доказательствах Изабеллы?
1зной
2ответ
Функция переменной функции в Isabelle
0зной
1ответ
4зной
2ответ
скрывать операторов, чтобы избежать двусмысленности в AST