Prove that AUROC is an improper scoring rule
49393
What does it mean that AUC is a semi-proper scoring rule?
72185
The negation of a limit condition, Spivak style.
85992
how to prove the chain rule?
8476
Proof of the Hockey-Stick Identity: $\sum\limits_{t=0}^n \binom tk = \binom{n+1}{k+1}$
101969
Proof of stars and bars formula
121157
Proof verification: column rank = row rank
26790
Proving the geometric sum formula by induction
104349
Proof by induction involving symmetric groups
81879
$Av=λv$ basis proof problems
135446
Proof that the probability of one RV being larger than $n-1$ others is $\frac{1}{n}$
63952
Disproving: If $(\Gamma\vdash(\phi\,\lor\psi))$, either $(\Gamma\vdash\phi)$ or $(\Gamma\vdash\psi)$ is true
55257
Egoroff's theorem in Royden Fitzpatrick (comparison with lemma 10)
137845
Cribbage scoring for a run of 4 out of sequence
136694
Probabilistic Proof of Kraft-Mcmillan Inequality
65168
Proof of sequence inequality
18301
Proof by Induction involving Inequality and Factorials as denominators
131609
Prove that $Au\cdot v = u\cdot A^Tv$