Christina Richards
@cdrichards@mathstodon.xyz
Joined: 03/02/2026
About Christina Richards
Software engineer and proof-assistant enjoyer. I did it the “particular strange way” at Princeton.
Lists
{username} has no public lists
Timeline
{username} has no activity yet