Timeline for Difference between constructive Dedekind and Cauchy reals in computation
Current License: CC BY-SA 4.0
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 12 at 17:51 | history | edited | Christopher King | CC BY-SA 4.0 |
added 63 characters in body
|
| Apr 12 at 14:46 | history | edited | Christopher King | CC BY-SA 4.0 |
deleted 1 character in body
|
| Apr 11 at 16:20 | history | edited | Christopher King | CC BY-SA 4.0 |
Avoid dividing by 0
|
| Apr 11 at 16:09 | history | edited | Christopher King | CC BY-SA 4.0 |
Avoid dividing by 0
|
| Dec 28, 2023 at 0:09 | history | edited | Christopher King | CC BY-SA 4.0 |
added 8 characters in body
|
| Dec 27, 2023 at 19:38 | history | edited | Christopher King | CC BY-SA 4.0 |
added 4 characters in body
|
| Dec 27, 2023 at 19:15 | history | edited | Christopher King | CC BY-SA 4.0 |
added 11 characters in body
|
| Dec 27, 2023 at 18:18 | history | edited | Christopher King | CC BY-SA 4.0 |
added 12 characters in body
|
| Dec 27, 2023 at 17:10 | history | edited | Christopher King | CC BY-SA 4.0 |
added 435 characters in body
|
| Dec 27, 2023 at 16:49 | history | answered | Christopher King | CC BY-SA 4.0 |