New posts in Proof Verification

Proof verification: if $W_1 \subseteq W_2$ then $\dim(W_1) \le \dim(W_2)$

How can we not use Muirhead's Inequality for proving the following inequality?

Evaluating the integral: $ I = \int e^{\frac xa} \sin x \, \mathrm dx$

If a and b are two positive integers, prove $a^2-4b \neq 2$

one-one and onto proofs

Prove that if $x$ is odd, then $x^2$ is odd

A lucky proof for the Basel problem.

Prove that if $x \in \mathbb R$ and $x>2$ then $y+ \frac{1}{y} = x$ will have real solution.

If a sequence $\{x_{n}\}$ is a Cauchy sequence and the sequence has a limit point $x_{0}$ then $x_{n} \rightarrow x_{0}$

Every Cover of a Compact Real Interval by Open Intervals Has a Finite Subcover where only Consecutive Sets Overlap?