Skip to content
Agda

φ₁ is a normal function; next-ε β is the LEAST ε-number above β (BH c… #797

Sign in to view logs

φ₁ is a normal function; next-ε β is the LEAST ε-number above β (BH c…

φ₁ is a normal function; next-ε β is the LEAST ε-number above β (BH c… #797

Triggered via push June 20, 2026 00:00
@hyperpolymathhyperpolymath
pushed 3f5f266
main
Status Success
Total duration 12m 13s
Artifacts –

agda.yml

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