Inicio Explorar Axuda
Iniciar sesión
snapshot
/
MonPoly
Seguir 2
Destacar 0
Fork 0
Ficheiros Incidencias 0 Pull Requests 0 Wiki
Rama: master
Ramas Etiquetas
MonPoly
/
examples
/
ex.mfotl

ex.mfotl 28 B
Permalink Histórico Raw

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

  2.