Area 51 » Mario Carneiro
|
Registered User
|
I'm an undergraduate of Math, Physics, and Computer Science at the Ohio State University. I have interests in elementary Group Theory, Set Theory, and the study of nonlinear differential and integral equations. I'm also a regular contributor to the Metamath project, which aims to develop modern mathematics in a computer-checkable formal language. You can e-mail me at |
0 |
Proposals |
1 |
Current Commitment |
146
days
Proof Assistants
For mathematicians and computer scientists who develop and use proof assistants.0 |
Fulfilled Commitments |
0 |
Followed |
10 | Votes Cast |
10 up
0 down