Skip to content
Typecheck with latest Rzk

Reorganize proof that discrete types are Segal #608

Sign in to view logs

Reorganize proof that discrete types are Segal

Reorganize proof that discrete types are Segal #608

Triggered via pull request November 11, 2023 10:26
@TashiWaldeTashiWalde
synchronize #137
TashiWalde:left-anodyne
Status Success
Total duration 46s
Artifacts –

rzk.yml

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