Homotopy
Homotopy copied to clipboard

andrejbauer

→

Metadata

Homotopy theory in Coq.

Reame
Issues

Results 1 Homotopy issues

Sort by recently updated

git clone fails

1

git clone https://github.com/andrejbauer/Homotopy/tree/master/UnivalentFoundations > Cloning into 'UnivalentFoundations'... > fatal: https://github.com/andrejbauer/Homotopy/tree/master/UnivalentFoundations/info/refs?service=git-upload-pack not found: did you run git update-server-info on the server?

kim-em