Timeline for Squash type vs Propositional truncation type
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 21, 2015 at 8:09 | vote | accept | Konstantin Solomatov | ||
| Feb 21, 2015 at 6:56 | answer | added | Jason Gross | timeline score: 6 | |
| Feb 19, 2015 at 17:12 | history | tweeted | twitter.com/#!/StackCSTheory/status/568458055551197184 | ||
| Feb 18, 2015 at 19:57 | history | asked | Konstantin Solomatov | CC BY-SA 3.0 |