Prove: $\alpha \rightarrow \beta, (\alpha \rightarrow \lambda) \rightarrow \beta $ proves $\beta$ in HPC
61066
Prove: $(A\rightarrow B),(A\rightarrow C)\rightarrow B, \mapsto_{HPC} B $
143608
Show the Trace$(B)^{2} \leq$ nTrace$(B^{T}B)$
73189
Proving Bernoulli is the limit of Beta
31340
Concurrent lines proof for a regular 18-gon
117688
Prove that $\def\Aut{\operatorname{Aut}}\Aut(\mathbf{Z_{n}})\simeq \mathbf{Z_{n}^{*}}$
42677
Proving $(\alpha + \beta)^{p^n} = \alpha^{p^n} + \beta^{p^n}$ in a finite field
43219
If $[K(\alpha):K]=p\neq q=[K(\beta):K]$ then $[K(\alpha+\beta):K]=pq$
127378
Is $2^\alpha=2^\beta\Rightarrow \alpha=\beta$ a $\sf ZFC$-independence result?
91281
Proving the so-called "Well Ordering Principle"
20581
How to show that $\Gamma\vdash (\varphi\to\neg\varphi)\to\varphi$?
69715
Proving $\text{Var}{(\hat{y}_h)} = \sigma^2 \left(\frac{1}{n} + \frac{(x_h-\bar{x})^2}{S_{xx}}\right)$
135694
Proving $\kappa^{\lambda} = |\{X: X \subseteq \kappa, |X|=\lambda\}|$
42141
Proving Distributivity of Matrix Multiplication
145759
formal proof from calulus
92359
Big-O Notation Proof
22297
Normal operator $\Rightarrow$ S invariant implies $S^\perp$ invariant
46939
Natural deduction, Proof $\vdash$ $P\Rightarrow(Q\Rightarrow P)$