Skip to content
Lean Action CI

Prove general composition theorem for URM computability #100

Sign in to view logs

Prove general composition theorem for URM computability

Prove general composition theorem for URM computability #100

Triggered via push December 31, 2025 14:09
@jessealamajessealama
pushed 320d0a4
general-composition
Status Success
Total duration 2m 35s
Artifacts –

lean_action_ci.yml

on: push
build
2m 32s
build
Fit to window
Zoom out
Zoom in