proof(ordinal): ψ-below-Ω boundary room lemma ω-rank-pow-⊕-below-succ
#681
| Job | Run time |
|---|---|
| 10m 24s | |
| 2m 15s | |
| 12m 39s |
ω-rank-pow-⊕-below-succ
#681
| Job | Run time |
|---|---|
| 10m 24s | |
| 2m 15s | |
| 12m 39s |