HomeIsabelle/Phabricator
Diffusion afp-devel 8e1673013220

tweaked
8e1673013220
Actions

Description

tweaked

Details

Provenance
paulson <lp15@cam.ac.uk>Authored on
Parents
rAFP1e0f664cffc8: merge from afp-2021-1
Branches
Unknown
Tags
Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFP8e1673013220: tweaked.Jul 9 2022, 2:31 PM

Changes (1)

PathSize
thys/
Roth_Arithmetic_Progressions/

rAFP8e1673013220

View Options

thys/Roth_Arithmetic_Progressions/Roth_Arithmetic_Progressions.thy

Loading...