About Glerk Pizza

plastic eyes lookin through a numbskull

I'm Ansh :D
my favorite proof assistants are cubical Agda and Arend

Lists

Timeline

anshthewad has no activity yet