locale-theory topic

List locale-theory repositories

formal-topology-in-UF

33
Stars
2
Forks
Watchers

Formal Topology in Univalent Foundations (WIP).

verified publisher icon ayberkt