Skip to content

formalism: Indicate domain/codomain for metafunctions #131

formalism: Indicate domain/codomain for metafunctions

formalism: Indicate domain/codomain for metafunctions #131

Triggered via push October 10, 2023 06:00
Status Success
Total duration 2m 56s
Artifacts 1

formalism.yaml

on: push
Build formalism.pdf
2m 45s
Build formalism.pdf
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
formalism Expired
246 KB