5зной
1ответ
0зной
1ответ
Сообщение об ошибке в Isabelle/HOL
1зной
1ответ
Все доступные предикаты в Isabelle
1зной
1ответ
Организация `твоих` файлов, которые поставляются с Isabelle
1зной
1ответ
Ошибка при попытке оценить `coprime`
1зной
1ответ
Ошибка в определении функции Isabelle взяты из конспектов
1зной
2ответ
Усилитель Изабеллы: как он выбирает, какие правила применять? [Конкретный пример]