Diffusion afp-devel b6e6c1df8c71

more realistic timeouts;
b6e6c1df8c71
Actions

Tags

None

Subscribers

None

Description

more realistic timeouts;

Details

Provenance

Authored on

Parents

rAFP6bd774658f69: Borrowed prod_mono_strict' for the distribution; adjusted proofs

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rAFPb6e6c1df8c71: more realistic timeouts;.Feb 9 2024, 6:14 PM

Changes (3)

Path

Size

thys/

Expander_Graphs/

Finite_Fields/

Universal_Hash_Families/

rAFPb6e6c1df8c71

thys/Expander_Graphs/ROOT

Loading...

thys/Finite_Fields/ROOT

Loading...

thys/Universal_Hash_Families/ROOT

Loading...