Skip to content
Agda

proof: well-foundedness of the WfCNF-narrowed _<ᵇᵘⁿ_ #671

Sign in to view logs

proof: well-foundedness of the WfCNF-narrowed _<ᵇᵘⁿ_

proof: well-foundedness of the WfCNF-narrowed _<ᵇᵘⁿ_ #671

Triggered via push June 13, 2026 09:05
@hyperpolymathhyperpolymath
pushed 30018b6
main
Status Success
Total duration 11m 23s
Artifacts –

agda.yml

on: push
check
2m 5s
check
cold-check
11m 18s
cold-check
Fit to window
Zoom out
Zoom in