Diffusion afp-devel f8eca525e197

Distributed_Distinct_Elements: Fix aliasing issue introduce in isabelle…
f8eca525e197
Actions

Tags

None

Subscribers

None

Description

Distributed_Distinct_Elements: Fix aliasing issue introduce in isabelle distribution.

Details

Provenance

Emin Karayel <me@eminkarayel.de>

Authored on

Parents

rAFP0df87a34e8a0: merged

Branches

Unknown

Tags

Unknown

Event Timeline

Emin Karayel <me@eminkarayel.de> committed rAFPf8eca525e197: Distributed_Distinct_Elements: Fix aliasing issue introduce in isabelle….Mar 28 2024, 6:14 PM

Changes (2)

Path

Size

thys/

Distributed_Distinct_Elements/

Distributed_Distinct_Elements_Accuracy_Without_Cutoff.thy

Distributed_Distinct_Elements_Cutoff_Level.thy

rAFPf8eca525e197

thys/Distributed_Distinct_Elements/Distributed_Distinct_Elements_Accuracy_Without_Cutoff.thy

Loading...

thys/Distributed_Distinct_Elements/Distributed_Distinct_Elements_Cutoff_Level.thy

Loading...