Skip to content
Agda

proof(ordinal): nextFix is the LEAST pre-fixed point (BH climb rung 7… #827

Sign in to view logs

proof(ordinal): nextFix is the LEAST pre-fixed point (BH climb rung 7…

proof(ordinal): nextFix is the LEAST pre-fixed point (BH climb rung 7… #827

Triggered via push June 21, 2026 11:07
@hyperpolymathhyperpolymath
pushed f89a3aa
main
Status Success
Total duration 10m 30s
Artifacts –

agda.yml

on: push
check
1m 46s
check
cold-check
10m 25s
cold-check
Fit to window
Zoom out
Zoom in