8зной
3ответ
Как я могу легко написать простую тактику на уровне ML Isabelle?
2зной
3ответ
Алгоритм кратчайшего пути AFP Dijkstra
1зной
1ответ
Исправление уродливой строки экспорта в export_code для Scala
6зной
4ответ
Применить метод, если и только если он решает текущую задачу
1зной
2ответ
Как использовать постоянные изображения кучи, чтобы ускорить загрузку теорий в Isabelle/jEdit?
6зной
3ответ
Можно ли не импортировать какую-либо теорию в Изабель?
8зной
6ответ
Интерактивная система математического обоснования