Skip to content
File formatting

Reorganize proof that discrete types are Segal #210

Sign in to view logs

Reorganize proof that discrete types are Segal

Reorganize proof that discrete types are Segal #210

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

format.yml

on: pull_request
format
7s
format
Fit to window
Zoom out
Zoom in