Skip to content
.github/workflows/mirror.yml

proof(ordinal): every Veblen level is a normal function; φ_{α+1} enum… #295

Sign in to view logs

proof(ordinal): every Veblen level is a normal function; φ_{α+1} enum…

proof(ordinal): every Veblen level is a normal function; φ_{α+1} enum… #295

Run time

Learn about OS pricing on GitHub Actions
Job Run time
0s