Skip to main content
MathOverflow
day's user avatar
day's user avatar
day's user avatar
day
  • Member for 13 years, 10 months
  • Last seen more than 10 years ago
Profile Activity
Stats
179
reputation
11k
reached
0
answers
1
question
Communities
View all
Badges
1
gold badge
1
silver badge
4
bronze badges
Top tags
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
Top posts
question
6
About the proof of the proposition "there exists irrational numbers a, b such that a^b is rational"
Feb 28, 2011
Top network posts
View all network posts
37
What's the relation and difference between Calculus of Inductive Constructions and Intuitionistic Type Theory?
33
What is the difference between propositions and judgments?
29
Use setxkbmap to swap the Left Shift and Left Control
27
What is the difference between proofs and programs (or between propositions and types)?
23
Prove proof irrelevance in Coq?