Agda

agda(brouwer): Phase 1.3 closure + Pentagon Σ-assoc + wf-<′ #223

Sign in to view logs

Triggered via push May 1, 2026 05:14

agda/phase13-pentagon-wf-prime

Status Success

Total duration 3m 8s

Artifacts –

agda.yml

on: push