GitHub repository: martinescardo/TypeTopology
Primary language: Agda
Created: 2018-02-05T16:02:04Z
Description: Logical manifestations of topological concepts, and other things, via the univalent point of view.