Skip to content
Build

Formalize the Leshno universal approximation theorem #56

Sign in to view logs

Formalize the Leshno universal approximation theorem

Formalize the Leshno universal approximation theorem #56

Re-run triggered September 12, 2026 06:12
@RemyDegenneRemyDegenne
#246
yuanyi-350:formalize-llps-universal-approximation
Status Failure
Total duration 2m 5s
Artifacts –

build.yml

on: pull_request
Build project
2m 2s
Build project
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Build project
Process completed with exit code 1.
Build project
lake exe mk_all failed