Timeline for Dependent type theory and definitions of cumulativity
Current License: CC BY-SA 4.0
6 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Oct 30, 2022 at 23:58 | vote | accept | Qiancheng Fu | ||
Oct 18, 2022 at 18:00 | history | tweeted | twitter.com/StackCSTheory/status/1582431352552841216 | ||
Oct 18, 2022 at 10:10 | history | became hot network question | |||
Oct 18, 2022 at 6:19 | answer | added | András Kovács | timeline score: 6 | |
S Oct 18, 2022 at 2:03 | review | First questions | |||
Oct 18, 2022 at 6:14 | |||||
S Oct 18, 2022 at 2:03 | history | asked | Qiancheng Fu | CC BY-SA 4.0 |