Loading...
Loading...
6 day streak.
Coding for 16 years.
Contribution Graph
Activity Timeline
Commits and contributions grouped by day, week, or month.
Pushed to reinstate-wasm at cauli/lean4
January 22nd, 2026 12:25 PM
Pushed to reinstate-wasm at cauli/lean4
January 22nd, 2026 8:53 AM
Pushed to reinstate-wasm at cauli/lean4
January 21st, 2026 7:49 PM
Pushed to reinstate-wasm at cauli/lean4
January 21st, 2026 6:47 PM
Pushed to reinstate-wasm at cauli/lean4
January 21st, 2026 6:35 PM
IssueCommentEvent on cauli/lean4
January 10th, 2026 1:23 PM
IssueCommentEvent on cauli/lean4
January 10th, 2026 1:22 PM
IssueCommentEvent on cauli/lean4
January 6th, 2026 7:16 AM
merged pull request in cauli/lean4
January 6th, 2026 7:12 AM