Skip to content
Lean Action CI

Make proof shorter, use suffices a lot #8

Sign in to view logs

Make proof shorter, use suffices a lot

Make proof shorter, use suffices a lot #8

Triggered via push October 6, 2024 20:46
@gdahiagdahia
pushed d2f2396
work-in-second-lemma
Status Failure
Total duration 1m 1s
Artifacts –

lean_action_ci.yml

on: push
build
52s
build
Fit to window
Zoom out
Zoom in

Annotations

2 errors
build
lake build failed
build
Process completed with exit code 1.