@r@toot.io
Joined: 12/17/2022
4
Followers
10
Following
formal methods enthusiast and undergrad at Princeton University.
r has no public lists
r has no activity yet
