Developer Relations Lead at Stream. Google Developer Expert for Flutter.
Featured Project
An AI-powered IDE for Lean 4 theorem proving — like Cursor, but for formal mathematics.
