Skip to content
Tests

change proof of Dvoretzky_converge_W_alpha_beta to use Dvoretzky_conv… #3967

Sign in to view logs

change proof of Dvoretzky_converge_W_alpha_beta to use Dvoretzky_conv…

change proof of Dvoretzky_converge_W_alpha_beta to use Dvoretzky_conv… #3967

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build (coqorg/coq:8.18.0-ocaml-4.13.1-flambda)
16m 35s
16m 35s