Skip to content
Lean Action CI

Update naming and partially complete case (2) of Levi's lemma #35

Sign in to view logs

Update naming and partially complete case (2) of Levi's lemma

Update naming and partially complete case (2) of Levi's lemma #35

Triggered via push October 6, 2025 04:18
@yisioxyisiox
pushed 27106de
ys-working
Status Success
Total duration 3m 18s
Artifacts –

lean_action_ci.yml

on: push
build
3m 14s
build
Fit to window
Zoom out
Zoom in