Skip to content
Typecheck with latest Rzk

Embeddings and propositional fibers #546

Sign in to view logs

Embeddings and propositional fibers

Embeddings and propositional fibers #546

Triggered via pull request October 23, 2023 00:51
@emilyriehlemilyriehl
opened #132
all-elements-equal-subtype
Status Failure
Total duration 17s
Artifacts –

rzk.yml

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

Annotations

1 error
Check formalisations
Process completed with exit code 1.