Семинар 6. Объявление типов в Isabelle/HOL. Рекурсивные функции. Индукция
Лекция из курса:
Семинар 6. Объявление типов в Isabelle/HOL. Рекурсивные функции. Индукция
Семинар 6. Объявление типов в Isabelle/HOL. Рекурсивные функции. Индукция
1 / 25