Changes
Summary
- Move bool conversion to comprehension strategies (commit: e6571f9) (details)
- Add support for forall (quantified) expressions (commit: 16ce987) (details)
- Test translation of forall (quantified expressions) (commit: c99cf60) (details)
- Support 'exists' quantified expressions (commit: 475ab28) (details)
- More testing of 'forall' and 'exists' (commit: 77af864) (details)