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

Stiephen Pradal

@Stiephen@mathstodon.xyz

Joined: 11/14/2022

45

Followers

54

Following
ProfileTrailsStatistics

About Stiephen Pradal

PhD student at the FP Lab, University of Nottingham.
I'm mostly interested in HoTT, Higher Category Theory and Homotopy Theory.

Lists

Stiephen has no public lists

Timeline

Stiephen has no activity yet