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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
cold-check
11m 18s
check
2m 5s
13m 23s