Skip to main content
Proof Assistants Beta
BallBoy's user avatar
BallBoy's user avatar
BallBoy's user avatar
BallBoy
  • Member for 2 years
  • Last seen more than 1 year ago
Profile Activity
Stats
153
reputation
370
reached
0
answers
1
question
Communities
Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
3
bronze badges
Top tags
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
Top posts
5
Basics of real numbers in mathcomp (Coq)
Jul 13, 2022
Top network posts
View all network posts
15
Find $\lim\limits_{n\to+\infty}\sum\limits_{k=1}^{n}\frac{k^{3}+6k^{2}+11k+5}{\left(k+3\right)!}$
14
Sum of conditional probabilities equals 1?
13
Doubts about a question I asked a long time ago (eigenvalues)
12
Exam with $12$ yes/no questions (half yes, half no) and $8$ correct needed to pass, is it better to answer randomly or answer exactly 6 times yes?
10
Expected number of games in the Baseball World Series