Timeline for Why the reflection rule trivializes higher paths in Martin-Löf Extensional Type theory?
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 3, 2017 at 15:41 | review | Suggested edits | |||
| Jul 3, 2017 at 16:10 | |||||
| Feb 4, 2016 at 13:08 | vote | accept | StudentType | ||
| Feb 2, 2016 at 16:43 | answer | added | Zhen Lin | timeline score: 16 | |
| Feb 2, 2016 at 16:17 | history | asked | StudentType | CC BY-SA 3.0 |