Agda

agda: Brouwer ordinals + direct WF (Option B Phase 1.1) #168

Sign in to view logs

Triggered via push April 24, 2026 20:27

main

Status Success

Total duration 2m 28s

Artifacts –

agda.yml

on: push