Skip to content
Agda

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

Sign in to view logs

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check
1m 47s
1m 47s