Skip to content
.github/workflows/mirror.yml

proof(ordinal): first-argument monotonicity; Γ₀ ≤′ φ_Γ₀(0) (BH climb … #297

Sign in to view logs

proof(ordinal): first-argument monotonicity; Γ₀ ≤′ φ_Γ₀(0) (BH climb …

proof(ordinal): first-argument monotonicity; Γ₀ ≤′ φ_Γ₀(0) (BH climb … #297

Run time

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