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

varkor

@varkor@mathstodon.xyz

Joined: 10/31/2022

107

Followers

53

Following
ProfileTrailsStatistics

About varkor

Category theorist and type theorist. I make q.uiver.app. Rust compiler team alumnus.

Lists

varkor has no public lists

Timeline

varkor has no activity yet