Skip to content
Agda

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

Sign in to view logs

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check
2m 13s
2m 13s