Skip to content
Back to pull request #1084

(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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test-cubical
31m 22s
31m 22s