Timeline for Open problems in type theory
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 5, 2022 at 9:43 | vote | accept | Guimarães | ||
| Oct 5, 2022 at 8:29 | history | edited | Carlo Beenakker | CC BY-SA 4.0 |
deleted 29 characters in body
|
| Oct 5, 2022 at 8:18 | history | made wiki | Post Made Community Wiki by Asaf Karagila♦ | ||
| Oct 5, 2022 at 8:10 | history | answered | Carlo Beenakker | CC BY-SA 4.0 |