Timeline for In cubical type theory, can we insist that "constant" compositions are the identity?
Current License: CC BY-SA 4.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 4, 2021 at 23:41 | vote | accept | Milo Brandt | ||
| May 27, 2021 at 18:38 | history | answered | aws | CC BY-SA 4.0 |