@PeterSmith@mathstodon.xyz
Joined: 08/11/2022
594
Followers
273
Following
Cambridge logician, idling in retirement.
{username} has no public lists
{username} has no activity yet