New posts in Proof Verification

If every nonidentity element in a group is of order $2$, the group is abelian

Possible eigenvalues of matrix $C = A(B^TA)^{-1}B^T$

Proving $[0,2]\big/[1,2]$ is homeomorphic to $[0,1]$

A series such that $\sum {a_n}$ converges, but $\sum {a_{3n}}$ diverges.

Very indeterminate form: $\lim_{x \to \infty} \left(\sqrt{x^2+2x+3} -\sqrt{x^2+3}\right)^x \longrightarrow (\infty-\infty)^{\infty}$

$8^n-3^n$ Divisible by 5 - Proof Verification.

Showing $f(t) = t^4 + 2t^2 + 9$ is reducible over $\Bbb Q$

Show that $\lim_{n}\sum_{k=n}^{2n}{1\over k} = \ln2$ using elementary methods.

The significance and acceptance of Helfgott’s proof of the weak Goldbach Conjecture

Vector space basics: scalar times a nonzero vector = zero implies scalar = zero?