Главная Обзор Помощь
Вход
snapshot
/
MonPoly
Следить 2
В избранное 0
Ответвить 0
Файлы Обсуждения 0 Запросы на слияние 0 Вики
Ветка: master
Ветки Метки
MonPoly
/
examples
/
ex.mfotl

ex.mfotl 28 B
Постоянная ссылка История Исходник

12 
  1. P(?a) UNTIL[10,20] Q(?a,?b)
    2. 

  2.