Skip to content

feat(ModelTheory): quantifier elimination from elementary extension p…#10

Open
iosephusferrum wants to merge 452 commits into
model-theory/quantifier-elimination-embeddingsfrom
model-theory/quantifier-elimination-extension
Open

feat(ModelTheory): quantifier elimination from elementary extension p…#10
iosephusferrum wants to merge 452 commits into
model-theory/quantifier-elimination-embeddingsfrom
model-theory/quantifier-elimination-extension

Merge branch 'master' into model-theory/quantifier-elimination-extension

b6b67a5
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
main
succeeded Jul 4, 2026 in 21s