Uğur Y. Yavuz
@uyavuz@mathstodon.xyz
Joined: 03/10/2024
About Uğur Y. Yavuz
PhD student @ BU POPV. TLA⁺/TLAPS enthusiast. Enjoyer of declarative/hierarchical proofs, NYT word games, and serial commas.
The "ğ" is pronounced like the "n" in damn.
Lists
{username} has no public lists
Timeline
{username} has no activity yet