Loading...
Loading...
10 new projects with 15 stars.
8 day streak.
Coding for 12 years.
Contribution Graph
Activity Timeline
Commits and contributions grouped by day, week, or month.
Pushed to style-explicit-types at leanprover-community/leanprover-community.github.io
February 2nd, 2026 5:04 PM
IssueCommentEvent on leanprover-community/mathlib4
February 2nd, 2026 4:24 PM
Pushed to master at fpvandoorn/fpvandoorn.github.io
February 2nd, 2026 4:16 PM
DeleteEvent on fpvandoorn/carleson
February 2nd, 2026 2:31 PM
Pushed to master at fpvandoorn/carleson
February 2nd, 2026 2:31 PM
IssueCommentEvent on leanprover-community/leanprover-community.github.io
February 2nd, 2026 2:13 PM
opened pull request in leanprover-community/leanprover-community.github.io
February 2nd, 2026 2:05 PM
Created branch style-explicit-types in leanprover-community/leanprover-community.github.io
February 2nd, 2026 2:04 PM
Pushed to master at fpvandoorn/fpvandoorn.github.io
February 1st, 2026 1:24 AM
Pushed to master at fpvandoorn/LeanCourse25
January 29th, 2026 6:24 PM