Войти
Запомнить
Регистрация
PullRequest
Лента
Топ
Теги
Новая
Новая
Вопросы с тегом формальная-семантика
0
голосов
1
ответ
Как определить рекурсивную функцию в Isabelle / HOL?
Junjie Chen
/
16 июня 2020
рекурсия
преобразование
изабель
формальная-проверка
формальная-семантика
Для получения более полной информации посмотрите в
списке вопросов
или в
популярных тегах
.
Добро пожаловать на сайт PullRequest, где вы можете задавать вопросы и получать ответы от других членов сообщества.
...