archive software on GitHub

Software OPEN SOURCE
  • Subject:
    arxiv: Mathematics::K-Theory and Homology | Computer Science::Digital Libraries | Mathematics::Algebraic Topology | Mathematics::Category Theory

Archived materials related to Homotopy Type Theory.
Share - Bookmark