A
anshthewad@mathstodon.xyz
@anshthewad@mathstodon.xyz
plastic eyes lookin through a numbskull
I'm Ansh :D
I'll accept most follow requests.
A minor
Currently: chasing diagrams (may be out of date)
Profile image description: Clippy in blue background
Header image description: Cheese #709
Ansehen
0
Profilaufrufe
1
Beigetreten
Zuletzt online
GitHub
github.com/anshwad10
Pronouns
he/him or they/them
Favorite Proof Assistants
Cubical Agda, Arend
ZFC
Probably inconsistent ngl