Skip to content
Agda

Add partial _<ᵇ_ order on Buchholz terms (WF-0, partial) #60

Sign in to view logs

Add partial _<ᵇ_ order on Buchholz terms (WF-0, partial)

Add partial _<ᵇ_ order on Buchholz terms (WF-0, partial) #60

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check
30m 49s
30m 49s