Agda

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

Sign in to view logs

Triggered via pull request April 22, 2026 18:31

synchronize #11

claude/buchholz-order-def

Status Success

Total duration 2m 36s

Artifacts –

agda.yml

on: pull_request