Skip to main content
MathOverflow
Erwan Aaron's user avatar
Erwan Aaron's user avatar
Erwan Aaron's user avatar
Erwan Aaron
  • Member for 9 years, 6 months
  • Last seen more than 7 years ago
Profile Activity
Stats
223
reputation
1k
reached
0
answers
1
question
Communities
View all
About

Second year CS student at UWaterloo (Canada)

I want to become a software engineer

Badges
This user doesn’t have any gold badges yet.
1
silver badge
8
bronze badges
Top tags
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
Top posts
question
12
What does "simplification of proofs as evaluation of programs" mean?
May 31, 2015
Top network posts
View all network posts
34
Difference between proof of negation and proof by contradiction
21
What breaks the Turing Completeness of simply typed lambda calculus?
10
What is the difference between intuitionistic, classical, modal and linear logic?
7
How to test my understanding of an academic paper?