GitHub repository: tnttodda/TypeTopology
Primary language: Agda
Description: Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.