Página inicial Explorar Ajuda
Entrar
snapshot
/
MonPoly
Observar 2
Favorito 0
Fork 0
Arquivos Issues 0 Pull Requests 0 Wiki
Branch: master
Branches Tags
MonPoly
/
examples
/
ex.mfotl

ex.mfotl 28 B
Link permanente Histórico Raw

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

  2.