Agda

Phase 1.3 closure + Pentagon Σ-assoc + wf-<′ (#32) #225

Sign in to view logs

Triggered via push May 1, 2026 05:32

main

Status Success

Total duration 3m 21s

Artifacts –

agda.yml

on: push