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

Rahul Chhabra

@rahulc29@mathstodon.xyz

Joined: 09/03/2023

111

Followers

302

Following
ProfileTrailsStatistics

About Rahul Chhabra

Undergrad at IIIT Allahabad. I have a general interest in (homotopy) type theory, category theory, domain theory, constructive mathematics and their applications to computer science.

Lists

rahulc29 has no public lists

Timeline

rahulc29 has no activity yet