ayberkt/formal-topology-in-UF

Formal Topology in Univalent Foundations (WIP).

语言：CSS · GitHub 星标：38 · Fork：1

话题：constructive-topology · formal-topologies · homotopy-type-theory · locale-theory · pointless-topology · topology · univalent-foundations · univalent-mathematics

在 GitHub 上查看原仓库