/formal-topology-in-UF

Formal Topology in Univalent Foundations (WIP).

Primary LanguageCSSGNU General Public License v3.0GPL-3.0

Stargazers