Carlo Angiuli has contributed to 5 nLab pages.
| Carlo Angiuli | 17:19:32, September 06 2023 |
| Jana Dunfield | 03:22:09, February 22 2021 |
| bidirectional typechecking | 03:19:08, February 22 2021 |
| type refinement | 03:17:51, February 22 2021 |
| Oberwolfach HoTT-Coq tutorial | 18:42:32, March 13 2018 |