Skip to content
Ubuntu build

(C ≃ᶜ C') ≃ (C ≡ C') & univalent category of setoids #2290

Sign in to view logs

(C ≃ᶜ C') ≃ (C ≡ C') & univalent category of setoids

(C ≃ᶜ C') ≃ (C ≡ C') & univalent category of setoids #2290

Triggered via pull request December 5, 2023 01:59
@marcinjangrzybowskimarcinjangrzybowski
synchronize #1084
marcinjangrzybowski:univ-cats-path
Status Success
Total duration 31m 32s
Artifacts –

ci-ubuntu.yml

on: pull_request
test-cubical
31m 22s
test-cubical
Fit to window
Zoom out
Zoom in