Skip to content
Agda

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

Sign in to view logs

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

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

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

agda.yml

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

Annotations

1 error
check
Process completed with exit code 42.