Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: constructive-topology

ayberkt/formal-topology-in-UF

Formal Topology in Univalent Foundations (WIP).

Language: CSS - Size: 10.5 MB - Last synced at: 4 months ago - Pushed at: almost 3 years ago - Stars: 36 - Forks: 2

Related Keywords
constructive-topology 1 formal-topologies 1 homotopy-type-theory 1 locale-theory 1 pointless-topology 1 topology 1 univalent-foundations 1 univalent-mathematics 1