Skip to content
Ubuntu build

Indexed W-types: hlevel without univalence. (#1172) #2697

Sign in to view logs

Indexed W-types: hlevel without univalence. (#1172)

Indexed W-types: hlevel without univalence. (#1172) #2697

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test-cubical
48m 6s
48m 6s