Diffusion afp-devel e6a485ed4efb

tuned metadata
e6a485ed4efb
Actions

Tags

None

Subscribers

None

Description

tuned metadata

Details

Provenance

Authored on

Parents

rAFP14863014c6aa: merged

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rAFPe6a485ed4efb: tuned metadata.Oct 4 2023, 2:40 PM

Changes (7)

Path

Size

metadata/

entries/

Lovasz_Local.toml

web/

entries/

Lovasz_Local.html

Paraconsistency.html

Real_Time_Deque.html

Relational_Disjoint_Set_Forests.html

statistics/

theories/

paraconsistency/

rAFPe6a485ed4efb

metadata/entries/Lovasz_Local.toml

Loading...

web/entries/Lovasz_Local.html

Loading...

web/entries/Paraconsistency.html

Loading...

web/entries/Real_Time_Deque.html

Loading...

web/entries/Relational_Disjoint_Set_Forests.html

Loading...

web/statistics/index.html

Loading...

web/theories/paraconsistency/index.html

Loading...