Diffusion afp-devel a236359e9eb6

new entry Hales Jewett
a236359e9eb6
Actions

Tags

None

Subscribers

None

Description

new entry Hales Jewett

Details

Provenance

Authored on

Parents

rAFP6486ab915f12: new entry: Nano_JSON

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rAFPa236359e9eb6: new entry Hales Jewett.Sep 7 2022, 11:08 AM

Changes (38)

Path

Size

Hales_Jewett.toml

Hales_Jewett.thy

authors/

eberl/

kreuzer/

sulejmani/

data/

BD_Security_Compositional.html

Goedel_HFSet_Semantic.html

Goedel_Incompleteness.html

Hales_Jewett.html

Irrationals_From_THEBOOK.html

Residuated_Lattices.html

statistics/

theories/

topics/

mathematics/

combinatorics/

rAFPa236359e9eb6

metadata/authors.toml

Loading...

metadata/entries/Hales_Jewett.toml

Loading...

thys/Hales_Jewett/Hales_Jewett.thy

Loading...

thys/Hales_Jewett/ROOT

Loading...

thys/Hales_Jewett/document/root.bib

Loading...

thys/Hales_Jewett/document/root.tex

Loading...

thys/ROOTS

Loading...

web/authors/eberl/index.html

Loading...

web/authors/eberl/index.xml

Loading...

web/authors/kreuzer/index.html

Loading...

web/authors/kreuzer/index.xml

Loading...

web/authors/sulejmani/index.html

Loading...

web/authors/sulejmani/index.xml

Loading...

web/data/keywords.json

Loading...

web/entries/BD_Security_Compositional.html

Loading...

web/entries/Goedel_HFSet_Semantic.html

Loading...

web/entries/Goedel_Incompleteness.html

Loading...

web/entries/Hales_Jewett.html

Loading...

web/entries/Irrationals_From_THEBOOK.html

Loading...

web/entries/Residuated_Lattices.html

Loading...

web/entries/index.html

Loading...

web/entries/index.xml

Loading...

web/index.html

Loading...

web/index.json

Loading...

web/index.xml

Loading...

web/sitemap.xml

Loading...

web/statistics/index.html

Loading...

web/theories/index.xml

Loading...

web/topics/index.html

Loading...

web/topics/mathematics/combinatorics/index.html

Loading...

web/topics/mathematics/combinatorics/index.xml

Loading...