MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

1
Reputation
10 views
Is this your account?

Registered User 

Name
Member for 3 years
Seen Mar 30 2010 at 14:10
Website
Location
Age
0

Questions

 

1

Answers
4
Proof assistants for mathematics

 

0

Votes

 

3

Tags



 

1

Badges
● Teacher