Skip to content
Typecheck with latest Rzk

Merge pull request #100 from rzk-lang/formalize-yoneda-embedding #531

Sign in to view logs

Merge pull request #100 from rzk-lang/formalize-yoneda-embedding

Merge pull request #100 from rzk-lang/formalize-yoneda-embedding #531

Triggered via push October 22, 2023 14:26
@emilyriehlemilyriehl
pushed fa86297
main
Status Success
Total duration 34s
Artifacts –

rzk.yml

on: push
Check formalisations
25s
Check formalisations
Fit to window
Zoom out
Zoom in