EdwardMorehouse

Pinned Repositories

• hott_groupoids

  homotopy type theory in agda using path elimination and groupoids

  Language:Agda40

• EdwardMorehouse.github.io

  GitHub Pages web site

  Language:HTML00

EdwardMorehouse's Repositories