showing that no repunit is a square - proof verification
45911
Prove that none of $\{11, 111, 1111,\dots \}$ is the perfect square of an integer
131132
Proofs using vector properties
113344
How do we prove that something is unprovable?
107281
Proof of Existence of Algebraic Closure: Too simple to be true?
25496
Avoiding proof by induction
153975
Proving mathematical induction with arbitrary base using (weak) induction
74515
Elementary proof of claim in Baby Rudin 3.31
88603
verify equicontinuous functions
57250
Proving that the sum and difference of two squares (not equal to zero) can't both be squares.
136755
Direct proof of empty set being subset of every set
83963
Proving knowledge of a preimage of a hash without disclosing it?
154459
Constructing a HoTT proof term of 1≠0
49621
Proof of "well-founded iff there is no sequence $x_n$ s.t. $(x_{n+1}, x_n) \in R$"
130436
bisectors of an angle in a triangle intersect at a single point - proof verification
34099
Proving that the empty set is unique
140364
Covering ten dots on a table with ten equal-sized coins: explanation of proof
154406
Real analysis - proof approach help