1зной
1ответ
Литейный листок и сжатие Isabelle
2зной
2ответ
isabelle - Выберите произвольный, но фиксированный элемент
2зной
1ответ
Полиморфные «исправления» утверждений при проверке интерпретаций в isabelle/hol
0зной
1ответ
Ошибка проверки Isabelle при вызове операций последовательной записи
0зной
1ответ
Isabelle: linord доказательство