Skip to content
Lean Action CI

Prove that projection functions maintain wellformedness #91

Sign in to view logs

Prove that projection functions maintain wellformedness

Prove that projection functions maintain wellformedness #91

Triggered via push March 3, 2026 17:29
@georgerenniegeorgerennie
pushed 273228d
main
Status Success
Total duration 31s
Artifacts –

lean_action_ci.yml

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