Loading...
Loading...
Coding for 11 years.
Contribution Graph
Activity Timeline
Commits and contributions grouped by day, week, or month.
Pushed to separation at robertmaxton42/mathlib4
January 29th, 2026 10:19 AM
Pushed to delab_isFoo_of at robertmaxton42/mathlib4
January 17th, 2026 7:59 AM
PullRequestReviewEvent on leanprover-community/mathlib4
January 17th, 2026 7:59 AM
PullRequestReviewCommentEvent on leanprover-community/mathlib4
January 17th, 2026 7:59 AM
PullRequestReviewEvent on leanprover-community/mathlib4
January 17th, 2026 7:57 AM
PullRequestReviewCommentEvent on leanprover-community/mathlib4
January 17th, 2026 7:57 AM
PullRequestReviewEvent on leanprover-community/mathlib4
January 17th, 2026 2:34 AM
Pushed to delab_isFoo_of at robertmaxton42/mathlib4
January 17th, 2026 12:23 AM
Pushed to delab_isFoo_of at robertmaxton42/mathlib4
January 16th, 2026 11:35 PM
PullRequestReviewCommentEvent on leanprover-community/mathlib4
January 16th, 2026 2:23 AM