Skip to content
Agda

proof(ordinal): φ₁ — the ε-number enumeration (BH climb rung 3, slice 2) #780

Sign in to view logs

proof(ordinal): φ₁ — the ε-number enumeration (BH climb rung 3, slice 2)

proof(ordinal): φ₁ — the ε-number enumeration (BH climb rung 3, slice 2) #780

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check
4m 57s
cold-check
4m 50s
9m 47s