Skip to content
Typecheck with latest Rzk

Formalize yoneda embedding #491

Sign in to view logs

Formalize yoneda embedding

Formalize yoneda embedding #491

Triggered via pull request October 13, 2023 21:04
@cesarbm03cesarbm03
synchronize #100
formalize-yoneda-embedding
Status Success
Total duration 36s
Artifacts –

rzk.yml

on: pull_request
Check formalisations
26s
Check formalisations
Fit to window
Zoom out
Zoom in