HomeIsabelle/Phabricator
Diffusion afp-devel c2b9a8deb55c

metadata for Expander Graphs
c2b9a8deb55c
Actions

Description

metadata for Expander Graphs

Details

Provenance
Rene Thiemann <rene.thiemann@uibk.ac.at>Authored on
Parents
rAFP528b9fec7472: new entry: Expander Graphs
Branches
Unknown
Tags
Unknown

Event Timeline

Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFPc2b9a8deb55c: metadata for Expander Graphs.Mar 16 2023, 4:52 PM

Changes (3)

PathSize

rAFPc2b9a8deb55c

View Options

metadata/entries/Expander_Graphs.toml

Loading...