Skip to content
Agda

Binary Veblen φ_α(β) + the diagonal Γ₀ (BH climb rung 4) (#245) #799

Sign in to view logs

Binary Veblen φ_α(β) + the diagonal Γ₀ (BH climb rung 4) (#245)

Binary Veblen φ_α(β) + the diagonal Γ₀ (BH climb rung 4) (#245) #799

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check
1m 45s
cold-check
9m 0s
10m 45s