Loading...
Loading...
16 new projects with 24 stars.
55 day streak.
Coding for 16 years.
Contribution Graph
Activity Timeline
Commits and contributions grouped by day, week, or month.
Pushed to traverse-multiset at JasonGross/coq
February 3rd, 2026 5:05 AM
labeled pull request in rocq-prover/rocq
February 3rd, 2026 5:02 AM
labeled pull request in rocq-prover/rocq
February 3rd, 2026 5:02 AM
opened pull request in rocq-prover/rocq
February 3rd, 2026 5:02 AM
Pushed to traverse-multiset at JasonGross/coq
February 3rd, 2026 5:01 AM
Pushed to traverse-multiset at JasonGross/coq
February 3rd, 2026 4:56 AM
Pushed to traverse-multiset at JasonGross/coq
February 3rd, 2026 4:55 AM
Created branch traverse-multiset in JasonGross/coq
February 3rd, 2026 4:54 AM
Pushed to v1.0+9.1+attrib-opaque at JasonGross/coq-dpdgraph
February 3rd, 2026 4:35 AM
DeleteEvent on rocq-community/coq-dpdgraph
February 3rd, 2026 4:35 AM