Homotopy Type Theory
Pieter Hofstra > history
Redirected from "double clubs".