This is a demo instance. Do not store any relevant data here. You can use the user 'demo' and password 'password' to login.
avatar

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