idp_engine/Idp.tx · main · krr / IDP-Z3 · GitLab

Skip to content

GitLab

Why GitLab
Pricing
Contact Sales
Explore

Sign in
Get free trial

IDP-Z3
idp_engine
Idp.tx

Blame History Permalink

Merge branch 'feat-generalised-existential' into 'main' · 3345c484
Simon Vandevelde authored Sep 27, 2024
```
Feat: generalised existential

Closes #304

See merge request !371
```
3345c484

Loading