My name is Rida Hamadani. I'm 23. When in doubt, refer to me with they/them. I graduated pure math from the Lebanese University.
My interests are areas that combine computers and mathematics in an exact way. In particular, I love formalizing mathematics using the lean programming language. I like graphs, especially strongly regular graphs.
My favorite game is yume nikki, and I like cats, burgers, and martial arts.