formal-topologies

There are 0 repository under formal-topologies topic.

• ayberkt / formal-topology-in-UF

  Formal Topology in Univalent Foundations (WIP).

  formal-topologieslocale-theorypointless-topologytopologyunivalent-foundationsunivalent-mathematicshomotopy-type-theoryconstructive-topology
  Language:CSS 33