Diffusion afp-devel 5ed170d26665

sitegen for AOT
5ed170d26665
Actions

Tags

None

Subscribers

None

Description

sitegen for AOT

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFPd3f9882dd945: merged

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFP5ed170d26665: sitegen for AOT.Jan 12 2023, 1:28 PM

Changes (31)

Path

Size

authors/

kirchner/

data/

Quantifier_Elimination_Hybrid.html

statistics/

logic/

general-logic/

rAFP5ed170d26665

metadata/entries/AOT.toml

Loading...

web/authors/kirchner/index.html

Loading...

web/authors/kirchner/index.xml

Loading...

web/data/keywords.json

Loading...

web/entries/AOT.html

Loading...

web/entries/Quantifier_Elimination_Hybrid.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/aot/index.html

Loading...

web/theories/index.xml

Loading...

web/topics/index.html

Loading...

web/topics/index.json

Loading...

web/topics/logic/general-logic/index.html

Loading...

web/topics/logic/general-logic/index.xml

Loading...

web/topics/logic/index.html

Loading...

web/topics/logic/index.xml

Loading...

web/topics/mathematics/index.html

Loading...

web/topics/mathematics/index.xml

Loading...