Loading...
Loading...
21 day streak.
Coding for 17 years.
295 followers.
Contribution Graph
Activity Timeline
Commits and contributions grouped by day, week, or month.
Pushed to master at leanprover/lean4
February 3rd, 2026 2:34 AM
Pushed to push-lwuyxmumzkkm at Kha/lean4
February 2nd, 2026 5:32 PM
Pushed to push-lwuyxmumzkkm at Kha/lean4
February 2nd, 2026 5:16 PM
Pushed to push-lwuyxmumzkkm at Kha/lean4
February 2nd, 2026 4:54 PM
labeled pull request in leanprover/lean4
February 2nd, 2026 4:11 PM
IssueCommentEvent on leanprover/lean4
February 2nd, 2026 3:04 PM
Pushed to master at leanprover/lean4
February 2nd, 2026 2:36 PM
Pushed to push-lwuyxmumzkkm at Kha/lean4
February 2nd, 2026 1:57 PM
IssueCommentEvent on leanprover/lean4
February 2nd, 2026 1:27 PM
Pushed to push-lwuyxmumzkkm at Kha/lean4
February 2nd, 2026 1:27 PM