Area 51 » Mario Carneiro

151
reputation
6 views
discussion user
network profile

Registered User

name Mario Carneiro
member for 6 years
seen Nov 23 '21 at 4:04
website
location Columbus, OH

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 carneiro.1, domain name osu.edu.

0

Proposals


1

Current Commitment

146
days

Proof Assistants

For mathematicians and computer scientists who develop and use proof assistants.
define
commit
public beta

0

Fulfilled Commitments


0

Followed


0

Example Questions


10

Votes Cast

10 up

0 down