Company:University of GothenburgLocation:Gothenburg, Sweden
A personal library, formalizing cohesive homotopy type theory in Agda.