Loading...
Loading...
21 day streak.
Coding for 11 years.
2775 contributions this year.
Contribution Graph
Activity Timeline
Commits and contributions grouped by day, week, or month.
IssueCommentEvent on rocq-prover/rocq
February 6th, 2026 10:42 AM
assigned pull request in rocq-prover/rocq
February 6th, 2026 10:29 AM
PullRequestReviewEvent on rocq-prover/rocq
February 6th, 2026 10:42 AM
opened pull request in rocq-prover/stdlib
February 6th, 2026 9:55 AM
Created branch rocq92 in proux01/stdlib
February 6th, 2026 9:55 AM
Created branch rocq92 in proux01/stdlib
February 6th, 2026 9:55 AM
Pushed to ssreflect-rw at proux01/rocq
February 6th, 2026 9:54 AM
labeled pull request in rocq-prover/rocq
February 6th, 2026 8:22 AM
IssueCommentEvent on mit-plv/fiat-crypto
February 6th, 2026 9:49 AM
Pushed to rocq92 at proux01/coq-elpi
February 6th, 2026 9:44 AM