Diffusion afp-devel 547cd5ffe43f

adapted to isabelle-dev/73253:f6bb31879698
547cd5ffe43f
Actions

Tags

None

Subscribers

None

Description

adapted to isabelle-dev/73253:f6bb31879698

Details

Provenance

Authored on

Parents

rAFP3ce2153720f3: Buffons_Needle: tuned presentation

Branches

Unknown

Tags

Unknown

Event Timeline

pruvisto committed rAFP547cd5ffe43f: adapted to isabelle-dev/73253:f6bb31879698.Feb 19 2021, 7:27 PM

Changes (4)

Path

Size

thys/

Girth_Chromatic/

Girth_Chromatic.thy

Random_Graph_Subgraph_Threshold/

Prob_Lemmas.thy

Skip_Lists/

Geometric_PMF.thy

rAFP547cd5ffe43f

thys/Girth_Chromatic/Girth_Chromatic.thy

Loading...

thys/Random_Graph_Subgraph_Threshold/Prob_Lemmas.thy

Loading...

thys/Skip_Lists/Geometric_PMF.thy

Loading...

thys/Skip_Lists/Skip_List.thy

Loading...