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
{username} has no public lists
Timeline
{username} has no activity yet
@todd@mathstodon.xyz
Joined: 09/01/2023
Theory & Teaching @ University of Birmingham -- Interests include Agda and Type Theory
{username} has no public lists
{username} has no activity yet