Skip to content
Agda

wip: Brouwer Phase 1.3 recursive-predicate sketch (abandoned) #270

Sign in to view logs

wip: Brouwer Phase 1.3 recursive-predicate sketch (abandoned)

wip: Brouwer Phase 1.3 recursive-predicate sketch (abandoned) #270

Triggered via pull request May 11, 2026 08:57
@hyperpolymathhyperpolymath
synchronize #40
wip/brouwer-phase-1-3-recursive-predicate
Status Failure
Total duration 6m 20s
Artifacts –

agda.yml

on: pull_request
check
2m 40s
check
Fit to window
Zoom out
Zoom in

Annotations

1 error
check
Process completed with exit code 42.