HoTT software on GitHub

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

Homotopy type theory
Share - Bookmark