Homotopy Type Theory
dependent type theory > history (Rev #1)
Redirected from "Littlewood-Richardson coefficients".
\tableofcontents
\section{Idea}
This article is about dependent type theories, which is the foundations for the rest of mathematics
time to copy half the homotopy type theory article over here.
\section{See also}
Revision on October 13, 2022 at 03:57:08 by
Anonymous?.
See the history of this page for a list of all contributions to it.