Timeline for Open problems in type theory
Current License: CC BY-SA 4.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 5, 2022 at 9:43 | vote | accept | Guimarães | ||
| Oct 5, 2022 at 8:18 | history | made wiki | Post Made Community Wiki by Asaf Karagila♦ | ||
| Oct 5, 2022 at 8:10 | answer | added | Carlo Beenakker | timeline score: 6 | |
| Oct 4, 2022 at 19:01 | review | Close votes | |||
| Oct 9, 2022 at 3:02 | |||||
| Oct 4, 2022 at 18:10 | history | edited | Glorfindel | CC BY-SA 4.0 |
edited body
|
| Oct 4, 2022 at 17:58 | history | edited | YCor | CC BY-SA 4.0 |
formatting
|
| S Oct 4, 2022 at 17:28 | review | First questions | |||
| Oct 4, 2022 at 18:10 | |||||
| S Oct 4, 2022 at 17:28 | history | asked | Guimarães | CC BY-SA 4.0 |