Here we collect articles about doing number theory in HoTT.
natural numbers
integers
rational numbers
rational root theorem
ordered integral domain
ordered field
Archimedean ordered integral domain
Archimedean ordered field
Revision on June 15, 2022 at 22:56:38 by Anonymous?. See the history of this page for a list of all contributions to it.