Skip to content

formalism: Add modified metatheorems for polymorphism #57

formalism: Add modified metatheorems for polymorphism

formalism: Add modified metatheorems for polymorphism #57

Triggered via push June 2, 2023 18:19
Status Success
Total duration 1m 53s
Artifacts 1

formalism.yaml

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

Artifacts

Produced during runtime
Name Size
formalism Expired
669 KB