Homotopy Type Theory Number theory > history (Rev #15, changes)

Showing changes from revision #14 to #15: Added | Removed | Changed

Here we collect articles about doing number theory in HoTT.

• natural numbers

  natural numbers

• integers

  integers

• rational numbers

• rational root theorem

• ordered integral domain