Diffusion afp-devel 1d9d53077605

Median_Method: Add converse of lemma median_est and simplify (corresponding)…
1d9d53077605
Actions

Tags

None

Subscribers

None

Description

Median_Method: Add converse of lemma median_est and simplify (corresponding) proofs.

Details

Provenance

Emin Karayel <me@eminkarayel.de>

Authored on

Parents

rAFPe687427e5463: New theory.

Branches

Unknown

Tags

Unknown

Event Timeline

Emin Karayel <me@eminkarayel.de> committed rAFP1d9d53077605: Median_Method: Add converse of lemma median_est and simplify (corresponding)….Wed, Apr 10, 5:34 AM

Changes (3)

Path

Size

thys/

Distributed_Distinct_Elements/

Distributed_Distinct_Elements_Accuracy.thy

Distributed_Distinct_Elements_Outer_Algorithm.thy

Median_Method/

rAFP1d9d53077605

thys/Distributed_Distinct_Elements/Distributed_Distinct_Elements_Accuracy.thy

Loading...

thys/Distributed_Distinct_Elements/Distributed_Distinct_Elements_Outer_Algorithm.thy

Loading...

thys/Median_Method/Median.thy

Loading...