Timeline for Is there a proof of strong normalisation that uses ordinal numbers?
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S Jun 1, 2022 at 18:20 | history | suggested | psmears | CC BY-SA 4.0 |
Improve wording and grammar
|
| Jun 1, 2022 at 15:03 | review | Suggested edits | |||
| S Jun 1, 2022 at 18:20 | |||||
| May 31, 2022 at 20:48 | answer | added | Damiano Mazza | timeline score: 8 | |
| May 31, 2022 at 6:13 | history | became hot network question | |||
| May 30, 2022 at 22:53 | answer | added | Mike Shulman | timeline score: 14 | |
| May 30, 2022 at 22:15 | history | edited | David Roberts♦ |
edited tags
|
|
| May 30, 2022 at 22:13 | history | asked | Zermelo-Fraenkel | CC BY-SA 4.0 |