Skip to content
File formatting

Reorganize proof that discrete types are Segal #223

Sign in to view logs

Reorganize proof that discrete types are Segal

Reorganize proof that discrete types are Segal #223

Triggered via pull request November 17, 2023 19:59
@emilyriehlemilyriehl
synchronize #137
TashiWalde:left-anodyne
Status Success
Total duration 19s
Artifacts –

format.yml

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