Timeline for In what respect are univalent foundations "better" than set theory?
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 25, 2017 at 3:52 | history | made wiki | Post Made Community Wiki by Todd Trimble | ||
| Nov 24, 2017 at 23:42 | comment | added | Noah Schweber | This doesn't say anything specific about the value of univalent foundations; I think this should probably be a comment rather than an answer. | |
| Nov 24, 2017 at 21:55 | history | answered | L. Garde | CC BY-SA 3.0 |