@todd@mathstodon.xyz
Joined: 09/01/2023
88
Followers
83
Following
Theory & Teaching @ University of Birmingham -- Interests include Agda and Type Theory
todd has no public lists
todd has no activity yet