Skip to content
Agda

proof(ordinal): unbudgeted sound-carrier extended order wf-<ᵇ⁺² (K-li… #720

Sign in to view logs

proof(ordinal): unbudgeted sound-carrier extended order wf-<ᵇ⁺² (K-li…

proof(ordinal): unbudgeted sound-carrier extended order wf-<ᵇ⁺² (K-li… #720

Triggered via push June 14, 2026 12:18
@hyperpolymathhyperpolymath
pushed ffa3152
main
Status Success
Total duration 9m 13s
Artifacts –

agda.yml

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