Skip to content
Agda

Strengthen E5 closure lemmas and add psi0(Omega1) witness path (#7) #47

Sign in to view logs

Strengthen E5 closure lemmas and add psi0(Omega1) witness path (#7)

Strengthen E5 closure lemmas and add psi0(Omega1) witness path (#7) #47

Triggered via push April 22, 2026 13:04
@hyperpolymathhyperpolymath
pushed 878d69f
main
Status Success
Total duration 2m 22s
Artifacts –

agda.yml

on: push
check
2m 17s
check
Fit to window
Zoom out
Zoom in