Loading...
Loading...
Coding for 17 years.
85 followers.
Contribution Graph
Activity Timeline
Commits and contributions grouped by day, week, or month.
Pushed to master at suhr/iris-lean
February 1st, 2026 5:58 PM
PullRequestReviewEvent on leanprover-community/iris-lean
February 1st, 2026 2:38 PM
PullRequestReviewCommentEvent on leanprover-community/iris-lean
February 1st, 2026 2:38 PM
PullRequestReviewEvent on leanprover-community/iris-lean
February 1st, 2026 2:16 PM
PullRequestReviewCommentEvent on leanprover-community/iris-lean
February 1st, 2026 2:16 PM
IssueCommentEvent on NixOS/nixpkgs
January 27th, 2026 5:37 PM
IssueCommentEvent on NixOS/nixpkgs
January 23rd, 2026 1:26 AM
labeled issue in NixOS/nixpkgs
January 21st, 2026 3:51 PM
opened issue in NixOS/nixpkgs
January 21st, 2026 3:51 PM
IssueCommentEvent on NixOS/nixpkgs
January 12th, 2026 6:42 AM