Agda

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

Sign in to view logs

Triggered via pull request April 22, 2026 18:31

opened #11

claude/buchholz-order-def

Status Success

Total duration 31m 9s

Artifacts –

agda.yml

on: pull_request