Homotopy Type Theory groupoid > history

Redirected from "book homotopy type theory".