Showing changes from revision #0 to #1:
Added | Removed | Changed
\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}