This is a demo instance. Do not store any relevant data here. You can use the user 'demo' and password 'password' to login.
avatar

David Martinez Carpena

@dvmcarpena@mathstodon.xyz

Joined: 11/08/2022



About David Martinez Carpena

Mathematician and computer scientist. PhD student and teaching assistant at the University of Barcelona. Higher category theory and homotopy type theory.

Lists

dvmcarpena has no public lists

Timeline

dvmcarpena has no activity yet