Skip to content
Tests

combine proofs and remove alpha^2 bound from Dvoretzky #3963

Sign in to view logs

combine proofs and remove alpha^2 bound from Dvoretzky

combine proofs and remove alpha^2 bound from Dvoretzky #3963

Build (coqorg/coq:8.18.0-ocaml-4.13.1-flambda)

Build (coqorg/coq:8.18.0-ocaml-4.13.1-flambda)
succeeded Dec 2, 2024 in 16m 6s