Jack McKoen
About me
I am a master's student of mathematics at the University of Alberta under the supervision of Adam Topaz. You can find my CV here.
I am interested in formalizing mathematics using the proof assistant Lean. I try to regularly contribute to mathlib, with a view toward higher category theory.
Other than mathematics, I am especially drawn to music. I am the current president of Edmontunes, a student club at the U of A for independent and underground music. (Whatever that means.)
My profiles
