x 1.00
Семинар 7. Индуктивные отношения. Язык структурированных доказательств Isar
- 00:15Ключевое слово inductive. Ключевое слово inductive_set
- 08:48Примеры (код)
- 26:27Введение в Isar. Структура доказательства. Синтаксис
- 35:15Примеры (код)
- 43:26Структурированные утверждения. Шаблоны доказательств (теория и код)