Loading...
Loading...
Avg 24.9 stars per repo.
19 new projects with 25 stars.
19 day streak.
Contribution Graph
Activity Timeline
Commits and contributions grouped by day, week, or month.
closed issue in leanprover/lean4
February 2nd, 2026 5:36 PM
merged pull request in leanprover/lean4
February 2nd, 2026 5:36 PM
Pushed to joachim/issue12268 at leanprover/lean4
February 2nd, 2026 4:57 PM
Pushed to joachim/kernel-primrec at leanprover/lean4
February 2nd, 2026 4:50 PM
Pushed to joachim/kernel-primrec at leanprover/lean4
February 2nd, 2026 2:29 PM
Pushed to joachim/kernel-primrec at leanprover/lean4
February 2nd, 2026 12:25 PM
IssueCommentEvent on leanprover/lean4
February 2nd, 2026 12:14 PM
Pushed to joachim/kernel-primrec at leanprover/lean4
February 2nd, 2026 12:08 PM
Pushed to joachim/abs-rec-rule at leanprover/lean4
February 2nd, 2026 9:58 AM
Pushed to joachim/native-via-axiom at leanprover/lean4
February 2nd, 2026 9:43 AM