@dvmcarpena@mathstodon.xyz
Joined: 11/08/2022
Mathematician and computer scientist. PhD student and teaching assistant at the University of Barcelona. Higher category theory and homotopy type theory.
dvmcarpena has no public lists
dvmcarpena has no activity yet