Agda

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

Sign in to view logs

Triggered via pull request April 22, 2026 18:24

opened #9

claude/buchholz-order-def

Status Success

Total duration 3m 58s

Artifacts –

agda.yml

on: pull_request