Skip to content
Agda

Scaffold E5 Buchholz modules with ν-indexed closure #39

Sign in to view logs

Scaffold E5 Buchholz modules with ν-indexed closure

Scaffold E5 Buchholz modules with ν-indexed closure #39

Triggered via push April 22, 2026 12:39
@hyperpolymathhyperpolymath
pushed 4ee86b6
claude/e5-buchholz-scaffold-7gK2p
Status Success
Total duration 3h 16m 37s
Artifacts –

agda.yml

on: push
check
3h 16m
check
Fit to window
Zoom out
Zoom in