[[!redirects number theory]] [[!redirects Number theory in HoTT]] Here we collect articles about doing number theory in HoTT. * [[natural numbers]] * [[integers]] * [[rational numbers]] * [[rational root theorem]] * [[ordered integral domain]] category: not redirected to nlab yet