Skip to content
Agda

proof(ordinal): general head-Ω monotonicity (Gate 1 building block) #672

Sign in to view logs

proof(ordinal): general head-Ω monotonicity (Gate 1 building block)

proof(ordinal): general head-Ω monotonicity (Gate 1 building block) #672

Run time

Learn about OS pricing on GitHub Actions
Job Run time
cold-check
11m 41s
check
1m 46s
13m 27s