https://hott-foundations-mathematics.vercel.app/ 2026-05-05 https://hott-foundations-mathematics.vercel.app/papers/coalgebraic-transcendentals/ 2026-05-05 https://hott-foundations-mathematics.vercel.app/papers/cubical-hiit-cauchy/ 2026-05-05 https://hott-foundations-mathematics.vercel.app/papers/etcs-izf-folds/ 2026-05-05 https://hott-foundations-mathematics.vercel.app/papers/infinity-nno/ 2026-05-05 https://hott-foundations-mathematics.vercel.app/papers/directed-univalence/ 2026-05-05 https://hott-foundations-mathematics.vercel.app/papers/langlands-analytic-number-theory/ 2026-05-05 https://hott-foundations-mathematics.vercel.app/papers/synthesis/ 2026-05-05