Proof Assistants Beta
Timothy Chow's user avatar
Timothy Chow's user avatar
Timothy Chow's user avatar
Timothy Chow
  • Member for 1 year, 8 months
  • Last seen more than a month ago
Profile Activity
Stats
495
reputation
2k
reached
0
answers
2
questions
Communities
View all
Badges
This user doesn’t have any gold badges yet.
2
silver badges
7
bronze badges
Top tags
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
Top posts
All Questions Answers
Score Newest
question
31
What work has been done on computationally intensive proofs?
Mar 25, 2022
question
8
Feferman's universes for proof assistants?
Jun 25
Top network posts
View all network posts
161
Do you read the masters?
150
Why do we care about $L^p$ spaces besides $p = 1$, $p = 2$, and $p = \infty$?
137
Suggestions for special lectures at next ICM
123
Not especially famous, long-open problems which anyone can understand
121
Nonequivalent definitions in Mathematics

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.