Homotopy Type Theory
computable real numbers > history (Rev #1)
Definition
A computable real number is an element of an Archimedean ordered field with either
See also
Revision on May 10, 2022 at 02:44:16 by
Anonymous?.
See the history of this page for a list of all contributions to it.