Timeline for Construction of the necklace by homotopy type theory
Current License: CC BY-SA 3.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 17, 2015 at 16:37 | review | Low quality posts | |||
| Dec 17, 2015 at 16:52 | |||||
| Dec 17, 2015 at 16:20 | history | answered | Mike Shulman | CC BY-SA 3.0 |