Drew Morris

I am a master's student studying mathematics at BYU. My current research interests are formalizing graph theory and category theory in lean4.