Skip to content
Ubuntu build

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

Sign in to view logs

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

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

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

ci-ubuntu.yml

on: pull_request
test-cubical
32m 1s
test-cubical
Fit to window
Zoom out
Zoom in