Accueil Explorer Aide
Connexion
snapshot
/
MonPoly
Suivre 2
Voter 0
Fork 0
Fichiers Tickets 0 Pull Requests 0 Wiki
Aborescence: 7c1721ed7d
Branches Tags
MonPoly
/
examples
/
ex.mfotl

ex.mfotl 28 B
Historique Raw

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

  2.