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

Triggered via push December 2, 2024 14:46
@shinnarshinnar
pushed 0f9332f
master
Status Success
Total duration 16m 43s
Artifacts –

build.yml

on: push
Matrix: Build
Fit to window
Zoom out
Zoom in