Timeline for Assuming decidable equality but not LEM in HoTT
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 20, 2022 at 20:39 | comment | added | user44143 | First-order Heyting arithmetic has decidable equality without excluded middle, so it is a reasonable combination. | |
| May 12, 2021 at 15:46 | answer | added | aws | timeline score: 5 | |
| May 6, 2021 at 2:21 | history | became hot network question | |||
| May 5, 2021 at 18:49 | history | edited | Mallon | CC BY-SA 4.0 |
added 155 characters in body
|
| May 5, 2021 at 18:41 | answer | added | Simon Henry | timeline score: 6 | |
| May 5, 2021 at 18:22 | review | First posts | |||
| May 5, 2021 at 19:39 | |||||
| May 5, 2021 at 18:21 | history | asked | Mallon | CC BY-SA 4.0 |