HomeIsabelle/Phabricator
Diffusion afp-devel 0470f69fa3eb

new entry: Lovasz_Local
0470f69fa3eb
Actions

Description

new entry: Lovasz_Local

Details

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

Event Timeline

Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFP0470f69fa3eb: new entry: Lovasz_Local.Sep 21 2023, 3:45 PM

Changes (15)

PathSize

rAFP0470f69fa3eb

View Options

thys/Lovasz_Local/Basic_Method.thy

Loading...
View Options

thys/Lovasz_Local/Cond_Prob_Extensions.thy

Loading...
View Options

thys/Lovasz_Local/Digraph_Extensions.thy

Loading...
View Options

thys/Lovasz_Local/Indep_Events.thy

Loading...
View Options

thys/Lovasz_Local/Lovasz_Local_Lemma.thy

Loading...
View Options

thys/Lovasz_Local/Lovasz_Local_Root.thy

Loading...
View Options

thys/Lovasz_Local/PiE_Rel_Extras.thy

Loading...
View Options

thys/Lovasz_Local/Prob_Events_Extras.thy

Loading...
View Options

thys/Lovasz_Local/ROOT

Loading...
View Options

thys/Lovasz_Local/document/root.bib

Loading...
View Options

thys/Lovasz_Local/document/root.tex

Loading...
View Options

thys/ROOTS

Loading...