My name is Rida Hamadani. When in doubt, refer to me with they/them. I graduated pure math from the Lebanese University. I'm now a graduate student at UPPA, France.
I love formalizing mathematics using lean. My favorite problems are these which use tools from many different math disciplines at once.
My favorite game is yume nikki, and I like cats, burgers, and martial arts.