Timeline for New foundation in homotopy type theory
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 25, 2023 at 10:04 | comment | added | Peter LeFanu Lumsdaine | I would be a bit wary of [2], the Gabbay preprint. Earlier versions of the paper had significant gaps/errors in them (though certainly also promising ideas); I haven’t read the latest versions carefully, but as far as I know they’ve not generally been accepted by other experts in the field. | |
| S Jan 25, 2023 at 20:25 | review | First answers | |||
| Jan 26, 2023 at 6:05 | |||||
| S Jan 25, 2023 at 20:25 | history | answered | Ember Edison | CC BY-SA 4.0 |