Loading...
Loading...
85 day streak.
Coding for 12 years.
1751 contributions this year.
Contribution Graph
Activity Timeline
Commits and contributions grouped by day, week, or month.
IssueCommentEvent on Ivan-Sergeyev/seymour
February 1st, 2026 7:47 PM
Created branch fredholm in madvorak/duality
February 1st, 2026 1:34 PM
Pushed to main at madvorak/madvorak.github.io
January 30th, 2026 3:29 PM
Pushed to main at madvorak/madvorak.github.io
January 30th, 2026 3:19 PM
Pushed to main at madvorak/madvorak.github.io
January 30th, 2026 2:45 PM
Pushed to main at madvorak/madvorak.github.io
January 28th, 2026 10:15 AM
Pushed to main at madvorak/madvorak.github.io
January 22nd, 2026 11:33 AM
Pushed to main at madvorak/madvorak.github.io
January 19th, 2026 8:11 PM
closed pull request in leanprover-community/mathlib4
January 15th, 2026 6:29 PM
PullRequestReviewEvent on leanprover-community/mathlib4
January 16th, 2026 8:12 AM