Timeline for Formalization of a model of ∞-category in a proof assistant
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S Sep 15, 2023 at 12:01 | history | suggested | fizruk | CC BY-SA 4.0 |
update link to sHoTT repository
|
| Sep 13, 2023 at 21:49 | review | Suggested edits | |||
| S Sep 15, 2023 at 12:01 | |||||
| Aug 15, 2023 at 7:22 | comment | added | Alex Chichigin | I wrote the answer first and only after that looked at the comments to the question, sorry... 😅 | |
| Aug 15, 2023 at 7:19 | history | answered | Alex Chichigin | CC BY-SA 4.0 |