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.