Skip to content

Existential matching of simplification side conditions#3942

Closed
geo2a wants to merge 9 commits into
masterfrom
georgy/existential-requires
Closed

Existential matching of simplification side conditions#3942
geo2a wants to merge 9 commits into
masterfrom
georgy/existential-requires

Internalise equations with existentials in requires

f957048
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs