Skip to content

simplify \'not exists\' to the form of \'forall not\'

b3620fe
Select commit
Loading
Failed to load commit list.
Merged

Added support for quantifiers (forall and exists). #287

simplify \'not exists\' to the form of \'forall not\'
b3620fe
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs