GitHub repository: tonyxty/hStacks
Created: 2020-09-13T12:40:33Z
Description: Stacks project, from a homotopy type theory point-of-view (hPOV)