Skip to content
Agda

proof(ordinal): ordinal exponentiation ω^^ + first ε-number ε₀ (BH cl… #764

Sign in to view logs

proof(ordinal): ordinal exponentiation ω^^ + first ε-number ε₀ (BH cl…

proof(ordinal): ordinal exponentiation ω^^ + first ε-number ε₀ (BH cl… #764

Run time

Learn about OS pricing on GitHub Actions
Job Run time
cold-check
9m 44s
check
1m 59s
11m 43s