Skip to content
Lean Action CI

(Almost) complete proof #18

Sign in to view logs

(Almost) complete proof

(Almost) complete proof #18

Triggered via push October 15, 2024 13:47
@gdahiagdahia
pushed 1058ccb
work-in-first-lemma
Status Success
Total duration 1m 50s
Artifacts –

lean_action_ci.yml

on: push
build
1m 40s
build
Fit to window
Zoom out
Zoom in