Timeline for Homotopy type theory: Are the hierarchy of Type_k universes isomorphic?
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 12, 2017 at 6:56 | history | edited | Andrej Bauer | CC BY-SA 3.0 |
added 1 character in body
|
| Jul 11, 2017 at 22:22 | history | edited | Andrej Bauer | CC BY-SA 3.0 |
edited body
|
| Jul 11, 2017 at 15:24 | vote | accept | Brandon Brown | ||
| Jul 11, 2017 at 13:58 | history | answered | Andrej Bauer | CC BY-SA 3.0 |