Skip to content

formalism: Give brief description of typed action calculus #100

formalism: Give brief description of typed action calculus

formalism: Give brief description of typed action calculus #100

Triggered via push October 8, 2023 23:37
Status Success
Total duration 2m 8s
Artifacts 1

formalism.yaml

on: push
Build formalism.pdf
1m 59s
Build formalism.pdf
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
formalism Expired
690 KB