Todd Waugh Ambridge
@todd@mathstodon.xyz
Joined: 09/01/2023
About Todd Waugh Ambridge
Theory & Teaching @ University of Birmingham -- Interests include Agda and Type Theory
Lists
todd has no public lists
Timeline
todd has no activity yet
@todd@mathstodon.xyz
Joined: 09/01/2023
Theory & Teaching @ University of Birmingham -- Interests include Agda and Type Theory
todd has no public lists
todd has no activity yet