Home Explore Help
Sign In
snapshot
/
MonPoly
Watch 2
Star 0
Fork 0
Files Issues 0 Pull Requests 0 Wiki
Tree: 7c1721ed7d
Branches Tags
MonPoly
/
examples
/
ex.mfotl

ex.mfotl 28 B
History Raw

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

  2.