TypeTopology software on GitHub

Software OPEN SOURCE
  • Subject:
    arxiv: Mathematics::Complex Variables | Computer Science::Logic in Computer Science

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