Glerk Pizza
@anshthewad@mathstodon.xyz
Joined: 05/05/2025
About Glerk Pizza
plastic eyes lookin through a numbskull
I'm Ansh :D
my favorite proof assistants are cubical Agda and Arend
Lists
anshthewad has no public lists
Timeline
{username} has no activity yet