Agda

Binary Veblen φ_α(β) + the diagonal Γ₀ (BH climb rung 4) #798

Sign in to view logs

Triggered via pull request June 20, 2026 00:17

opened #245

claude/eager-heisenberg-r3gz3c

Status Success

Total duration 12m 20s

Artifacts –

agda.yml

on: pull_request