Thomas Marsh
@thomasmarsh.bsky.social
FP, formal methods, urban planning
141 followers417 following120 posts