HomeIsabelle/Phabricator
Diffusion afp-devel a87e290b359d

adjusted proof
a87e290b359d
Actions

Description

adjusted proof

Details

Provenance
Rene Thiemann <rene.thiemann@uibk.ac.at>Authored on
Parents
rAFP845e35e9d4ad: more accurate timeout;
Branches
Unknown
Tags
Unknown

Event Timeline

Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFPa87e290b359d: adjusted proof.Mar 7 2024, 1:55 PM

Changes (1)

PathSize
thys/
LLL_Basis_Reduction/

rAFPa87e290b359d

View Options

thys/LLL_Basis_Reduction/Missing_Lemmas.thy

Loading...