Skip to content
Agda

feat(experimental): echo-additive R4 — F_r ⊣ U_r adjunction discrimin… #735

Sign in to view logs

feat(experimental): echo-additive R4 — F_r ⊣ U_r adjunction discrimin…

feat(experimental): echo-additive R4 — F_r ⊣ U_r adjunction discrimin… #735

Triggered via push June 15, 2026 15:21
@hyperpolymathhyperpolymath
pushed 94ccebc
main
Status Success
Total duration 11m 23s
Artifacts –

agda.yml

on: push
check
1m 57s
check
cold-check
11m 18s
cold-check
Fit to window
Zoom out
Zoom in