User Portlet
| Discussions |
|---|
| Hi there, I am trying to express a problem of the form: ForAll(a, Exists(b, Exists(c, f(a, b, c)))) And then I want to attempt to run quantifier elimination on the expression and see what simplifications are possible. How would I write... |