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