Diffusion afp-devel 32589d2ea562

Migration of lemmas to distribution
32589d2ea562
Actions

Tags

None

Subscribers

None

Description

Migration of lemmas to distribution

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFP068d4f8c4523: adjust Euler_Polyhedron_Formula to AFP-devel

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFP32589d2ea562: Migration of lemmas to distribution.Sep 29 2023, 3:29 PM

Changes (2)

Path

Size

thys/

Gauss_Sums/

Polya_Vinogradov.thy

Lovasz_Local/

Lovasz_Local_Lemma.thy

rAFP32589d2ea562

thys/Gauss_Sums/Polya_Vinogradov.thy

Loading...

thys/Lovasz_Local/Lovasz_Local_Lemma.thy

Loading...