Loading...
Loading...
13 day streak.
Coding for 14 years.
1552 contributions this year.
Contribution Graph
Activity Timeline
Commits and contributions grouped by day, week, or month.
merged pull request in leanprover/doc-gen4
February 2nd, 2026 4:22 PM
Pushed to tactic-docs at Vierkantor/doc-gen4
February 2nd, 2026 2:31 PM
PullRequestReviewEvent on leanprover-community/mathlib4
February 2nd, 2026 12:57 PM
PullRequestReviewEvent on leanprover-community/mathlib4
February 2nd, 2026 12:31 PM
PullRequestReviewEvent on leanprover-community/mathlib4
February 2nd, 2026 12:28 PM
PullRequestReviewCommentEvent on leanprover-community/mathlib4
February 2nd, 2026 12:28 PM
labeled pull request in leanprover-community/mathlib4
February 2nd, 2026 12:18 PM
opened pull request in leanprover-community/mathlib4
February 2nd, 2026 12:18 PM
Created branch fix-applyWith in Vierkantor/mathlib4
February 2nd, 2026 12:17 PM
PullRequestReviewEvent on leanprover-community/mathlib4
February 2nd, 2026 11:51 AM