@archak@mathstodon.xyz
Joined: 07/07/2025
4
Followers
35
Following
UCL Maths/CSProof theory, Logic
{username} has no public lists
{username} has no activity yet