Mathlib Contributor
Contributing to Lean 4's official community mathematics library.
I contribute to Mathlib, the community-maintained library of formalised mathematics for the Lean 4 proof assistant.
My contributions are in topology, measure theory and related areas — part of the broader goal of building a comprehensive, machine-verified library covering undergraduate and graduate mathematics.
Click here to see my most recent pull requests.