[[!redirects rational homotopy theory]] [[!redirects Rational homotopy theory in HoTT]] Here we collect articles about doing rational homotopy theory in HoTT ## Rational homotopy theory ## * [[rational numbers]] * [[torsion-free divisible group]] * [[rationalization of an abelian group]] * [[rational homotopy type]] * [[rationalization of a simply connected type]]