New posts in proof-verification

Probability density function of $max(X,Y)$

A proof involving the Euler phi function

How many subgroups of order 17 does $S_{17}$ have?

Show that $\forall n \in\Bbb N: e < \left(1+{1\over n}\right)^n \left(1 + {1\over 2n}\right)$

Conditional expectation $\mathbb E\left(\exp\left(\int_0^tX_sdB_s\right) \mid \mathcal F_t^X\right)$

How many injective functions from $\{5,6,7,8,9\}$ to itself map $5$ and $6$ to another number?

Is my proof that the square root of all imperfect squares are irrational correct?

Dog and Goose Circular Pursuit Problem

Find the value of $a$ such that $F(a)=\int^{\frac \pi 2}_{0}{|\sin x-a\cos x|} \space dx$ is minimised

Proof that a linear transformation is continuous

Scratch work for delta-epsilon proof for $\lim_{x \to 13} \sqrt{x-4} = 3$

Closed points are dense in $\operatorname{Spec} A$

Showing the alternating series $\sum_{n=1}^\infty (-1)^n \frac{n}{p_n}$ where $p_n$ is the $n$th prime converges

Feedback on my proof that $(A\setminus B)\cup(B\setminus A)=(A\cup B)\setminus (A\cap B)$

Learning to understand proofs faster?

Proof that $\sqrt{F!-1}$ is irrational

Prove that trees have at least two vertices of degree one

Topology of test functions $\mathcal{D}(\mathbb R)$

$F(u) = F(u^2)$ if $u$ is algebraic of odd degree

Verifying proof :an Ideal $P$ is prime Ideal if $R/P$ is an integral domain.