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

Andrew W Swan

@aws@mathstodon.xyz

Joined: 11/09/2022

309

Followers

86

Following
ProfileTrailsStatistics

About Andrew W Swan

I am a postdoc at the University of Ljubljana interested in various things including constructive maths, homotopy type theory, (higher) topos theory and realizability.

Lists

aws has no public lists

Timeline

aws has no activity yet