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

Alex Nelson

@thmprover@mathstodon.xyz

Joined: 11/06/2022

68

Followers

40

Following
ProfileTrailsStatistics

About Alex Nelson

I work as a programmer, trained as a mathematical physicist. I still like writing about and , but I love learning about anything in the domains of pure or applied math. I also use for formalizing and have been studying during the pandemic.

Lists

thmprover has no public lists

Timeline

thmprover has no activity yet