Loading...
Loading...
Chapman Fellow in Mathematics at Imperial College London
15 new projects with 14 stars.
27 day streak.
Coding for 9 years.
Contribution Graph
Activity Timeline
Commits and contributions grouped by day, week, or month.
Created branch infinite-prod-with-zero in b-mehta/mathlib4
February 9th, 2026 6:10 PM
DeleteEvent on b-mehta/mathlib4
February 9th, 2026 6:03 PM
DeleteEvent on b-mehta/mathlib4
February 9th, 2026 6:03 PM
DeleteEvent on b-mehta/mathlib4
February 9th, 2026 6:03 PM
DeleteEvent on b-mehta/mathlib4
February 9th, 2026 6:03 PM
DeleteEvent on b-mehta/mathlib4
February 9th, 2026 6:02 PM
DeleteEvent on b-mehta/mathlib4
February 9th, 2026 6:02 PM
DeleteEvent on b-mehta/mathlib4
February 9th, 2026 6:02 PM
DeleteEvent on b-mehta/mathlib4
February 9th, 2026 6:01 PM
IssueCommentEvent on leanprover-community/mathlib4
February 9th, 2026 5:48 PM