#introduction I'm Garrett, a newly-minted math MS from Montana State. I'm interested in homotopy type theory & proof assistants (particularly on the "assistant" side, e.g. streamlining their use, implications on written proofs and math communication). Besides math, I've played viola for most of my life, and enjoy talking about movies, cooking/baking, playing board games and video games (especially Splatoon!), and hugging friends