TypeTopology software on GitHub

Software OPEN SOURCE

Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.
Share - Bookmark