Mario Carneiro
@digama0
A background refresh was started because this profile was last fetched over a day ago.
- Country
- Sweden
- Rank
- #219
- Profile
- View on GitHub
- Company
- Chalmers University of Technology
- Location
- Gothenburg, Sweden
- Blog/Website
- https://digama0.github.io/
- marioc@chalmers.se
- -
- Hireable
- -
- Public Repos
- 100
- Public Gists
- 21
- Account
- User
- Joined GitHub
- Jun 23, 2011 (14 years, 6 months ago)
- Last Updated
- Dec 01, 2025 15:10
Bio
I'm a post-doc working on formal mathematics and interactive theorem proving. I am an expert in the Metamath and Lean proof languages.
Followers
526
Following
0
Contributions (last year)
669
Similar Developers
