Skip to content
Agda

set-2: N5 falsifier attempt (q2-3) — candidate survives; ready for no… #226

Sign in to view logs

set-2: N5 falsifier attempt (q2-3) — candidate survives; ready for no…

set-2: N5 falsifier attempt (q2-3) — candidate survives; ready for no… #226

Triggered via push May 1, 2026 05:49
@hyperpolymathhyperpolymath
pushed 6bf1e16
set-2-n5-falsifier
Status Success
Total duration 2m 53s
Artifacts –

agda.yml

on: push
check
2m 49s
check
Fit to window
Zoom out
Zoom in