Loading...
Loading...
Coding for 5 years.
Contribution Graph
Activity Timeline
Commits and contributions grouped by day, week, or month.
merged pull request in reilabs/lampe
February 3rd, 2026 7:22 PM
opened pull request in leanprover-community/mathlib4
February 2nd, 2026 12:10 AM
Pushed to grassmannian at mpenciak/mathlib4
February 2nd, 2026 12:04 AM
Created branch grassmannian in mpenciak/mathlib4
February 1st, 2026 11:58 PM
Pushed to master at mpenciak/mathlib4
January 27th, 2026 5:45 PM
merged pull request in reilabs/lampe
January 19th, 2026 8:29 PM