I studied math and mostly work on Lean.
Started this new website! I hope to fill it with posts and content soon!
