Mathematics Major · Cairo Univerity
I'm a second-year math student who sometimes likes to do math art.
Currently exploring: · Lean 4 formal verification ·
This is the main gallery that I try to update as I get some new stupid ideas to draw and explain how I drew them.
Built with Hugo · MathJax · TikZJax
Work in progress