Timeline for Construction of the necklace by homotopy type theory [closed]
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 17, 2015 at 23:17 | history | closed |
Vladimir Dotsenko Wolfgang Marco Golla Jan-Christoph Schlage-Puchta Peter Humphries |
Needs details or clarity | |
| Dec 17, 2015 at 16:26 | history | edited | Tom | CC BY-SA 3.0 |
add notations
|
| Dec 17, 2015 at 16:20 | answer | added | Mike Shulman | timeline score: 2 | |
| Dec 17, 2015 at 8:28 | review | Close votes | |||
| Dec 17, 2015 at 23:17 | |||||
| Dec 17, 2015 at 7:16 | comment | added | j0equ1nn | Can you include how you might set up notation for this in homotopy type theory, to set some conventions for answers? | |
| Dec 17, 2015 at 6:46 | history | asked | Tom | CC BY-SA 3.0 |