Rafaël Bocquet has contributed to 4 nLab pages.
| complete Segal space | 13:21:33, February 21 2024 |
| fundamental theorem of identity types | 09:18:27, March 06 2023 |
| univalence axiom | 09:17:45, March 06 2023 |
| inverse diagram model of type theory | 07:41:56, August 30 2022 |