Proof Assistants Beta
Bolton Bailey's user avatar
Bolton Bailey's user avatar
Bolton Bailey's user avatar
Bolton Bailey
  • Member for 1 year, 1 month
  • Last seen more than a month ago
  • Palo Alto, CA, United States
Profile Activity
Stats
666
reputation
1k
reached
1
answer
5
questions
Communities
View all
About

Math/CS Major at Caltech.

Enjoy Project Euler in my spare time.

Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
10
bronze badges
Top tags
View all tags
6
Score
1
Posts
17
Posts %
6
Score
1
Posts
17
Posts %
0
Score
4
Posts
67
Posts %
0
Score
2
Posts
33
Posts %
0
Score
1
Posts
17
Posts %
0
Score
1
Posts
17
Posts %
Top posts
All Questions Answers
Score Newest
question
15
Extends vs including a typeclass argument
Feb 9, 2022
question
13
Lean "nonempty" vs "inhabited"
Apr 15, 2022
question
10
Can Lean simp arguments be ordered?
Feb 14, 2022
question
7
How does Lean choose which decidability instance to use?
Feb 26, 2022
answer
6
What mathematical topics should I learn first before I start using proof assistants?
Feb 14, 2022
question
3
Equivalent of `range` in Coq
Jun 14, 2022
Top network posts
View all network posts
101
Does the code terminate?
22
Website seeing my Facebook data?
16
Requirement and Restrictions for Declaring Attackers
11
Linear Algebra: If $A^3 = I$, does $A$ have to be $I$?
10
Multiply $1\times 3$ matrix by corresponding numbers

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.