Diffusion afp-devel cad22973459e

add missing thy files in Sturm_Tarski + repair
cad22973459e
Actions

Tags

None

Subscribers

None

Description

add missing thy files in Sturm_Tarski + repair

Details

Provenance

Authored on

Parents

rAFPfe461a59f3a2: afp-submit: style page, improve elements;

Branches

Unknown

Tags

Unknown

Event Timeline

kleing committed rAFPcad22973459e: add missing thy files in Sturm_Tarski + repair.Nov 8 2022, 10:56 PM

Changes (12)

Path

Size

metadata/

entries/

Sturm_Tarski.toml

thys/

Sturm_Tarski/

Pseudo_Remainder_Sequence.thy

web/

dependencies/

polynomial_interpolation/

entries/

Polynomial_Interpolation.html

Sturm_Tarski.html

statistics/

submission/

theories/

sturm_tarski/

rAFPcad22973459e

metadata/entries/Sturm_Tarski.toml

Loading...

thys/Sturm_Tarski/Pseudo_Remainder_Sequence.thy

Loading...

thys/Sturm_Tarski/ROOT

Loading...

web/dependencies/polynomial_interpolation/index.html

Loading...

web/dependencies/polynomial_interpolation/index.xml

Loading...

web/entries/Polynomial_Interpolation.html

Loading...

web/entries/Sturm_Tarski.html

Loading...

web/index.json

Loading...

web/index.xml

Loading...

web/statistics/index.html

Loading...

web/submission/index.html

Loading...

web/theories/sturm_tarski/index.html

Loading...