A
anshthewad@mathstodon.xyz
@anshthewad@mathstodon.xyz
plastic eyes lookin through a numbskull
I'm Ansh
A minor
Currently: orange (may be out of date)
Profile image description: Clippy in blue background
Header image description: Cheese #709
Omdømme
0
Profil visninger
1
Oprettet
Sidst online
GitHub
github.com/anshwad10
Pronouns
they/them or he/him
Favorite Proof Assistants
Cubical Agda, Arend
ZFC
Probably inconsistent ngl