Skip to content
Agda

proof(ordinal): ordinal exponentiation ω^^ + first ε-number ε₀ (BH cl… #764

Sign in to view logs

proof(ordinal): ordinal exponentiation ω^^ + first ε-number ε₀ (BH cl…

proof(ordinal): ordinal exponentiation ω^^ + first ε-number ε₀ (BH cl… #764

Triggered via push June 18, 2026 01:55
@hyperpolymathhyperpolymath
pushed 091aa7d
main
Status Success
Total duration 9m 49s
Artifacts –

agda.yml

on: push
check
1m 59s
check
cold-check
9m 44s
cold-check
Fit to window
Zoom out
Zoom in