Topic: "compact-type"
martinescardo/TypeTopology
Logical manifestations of topological concepts, and other things, via the univalent point of view.
Language: Agda - Size: 17.7 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 254 - Forks: 45
