Support for quantifiers
Opened this issue · 1 comments
remysucre commented
Is there plan to add support for quantifiers (forall
and exists
)?
elsoroka commented
That is definitely something that will be good to add. I'm currently waiting for a paper submission (results expected Feb. 16) but expect after that to continue adding features! It would also be great to find more contributors if you know anyone looking for a project.