DI

Mario Carneiro

I'm a post-doc working on formal mathematics and interactive theorem proving. I am an expert in the Metamath and Lean proof languages.

Gothenburg, Sweden

Website

Joined June 2011

540 Followers

0 Following

AI Insights & Achievements

56/ 100

Quality

Avg 10.7 stars per repo.

Consistency

42 day streak.

Veteran

Coding for 15 years.

Organizations

ME LE

Public Repos

102

Total Stars

1069

Total Forks

152

Public Gists

21

Top Languages

Based on primary language of repositories

Recent Activity

Contribution Graph

Activity Timeline

Commits and contributions grouped by day, week, or month.

High productivity periods

Most active day: January 20th, 2026 • 3 contributions

Most active week: Dec 29–Jan 4 • 13 contributions

Most active month: Mar 2025 • 118 contributions

Pushed to master at digama0/lean4lean

February 2nd, 2026 7:19 AM

Pushed to master at digama0/lean4lean

February 1st, 2026 7:55 AM

Pushed to master at digama0/lean4lean

February 1st, 2026 7:49 AM

Pushed to master at digama0/lean4lean

January 31st, 2026 5:09 PM

Pushed to main at zariuq/metamath-knife

January 30th, 2026 2:22 PM

PullRequestReviewEvent on metamath/metamath-knife

January 30th, 2026 2:22 PM

PullRequestReviewCommentEvent on metamath/metamath-knife

January 30th, 2026 2:22 PM

IssueCommentEvent on rust-lang/unsafe-code-guidelines

January 29th, 2026 6:23 PM

labeled issue in rust-lang/unsafe-code-guidelines

January 29th, 2026 6:23 PM

IssueCommentEvent on rust-lang/reference

January 29th, 2026 5:24 PM

GitHub Analytics

Mario Carneiro

Quality

Consistency

Veteran