Skip to content
Ubuntu build

(C ≃ᶜ C') ≃ (C ≡ C') for univalent categories #2336

Sign in to view logs

(C ≃ᶜ C') ≃ (C ≡ C') for univalent categories

(C ≃ᶜ C') ≃ (C ≡ C') for univalent categories #2336

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test-cubical
5m 1s
5m 1s