New posts in Proof Verification

Problem with induction proof in textbook.

Without calculating the square roots, determine which of the numbers:$a=\sqrt{7}+\sqrt{10}\;\;,\;\; b=\sqrt{3}+\sqrt{19}$ is greater.

Prove that a tree with a vertex $v$ of degree $k > 1$ has at least $k$ leaves

Find the value of $x$ in the figure

Solving a Smullyan style knight and knave problem using natural deduction. How to shorten this proof?

Calculating Minesweeper Odds Is this calculation correct?

What fraction is shaded?

Is it true that $A_n$ contains all the elements of odd order?

Can the ratio test be used to solve the following sequence?

Order of the set of group homomorphisms from $\mathbb{Z}^n$ into an arbitrary finite group $G$.