Skip to content
Agda

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

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) #781

Triggered via pull request June 18, 2026 13:34
@hyperpolymathhyperpolymath
synchronize #238
claude/confident-shannon-xf0Td
Status Success
Total duration 11m 56s
Artifacts –

agda.yml

on: pull_request
check
1m 44s
check
cold-check
11m 27s
cold-check
Fit to window
Zoom out
Zoom in