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