Proof by Induction: Number of bit strings of length $n$ starting with a 1 or ending with a 0
72776
Induction proof (bitstring length)
155897
Proof by induction - is this correct?
8645
A formula for bit strings with no $k$ consecutive $1$'s using generating functions
52043
Number of binary numbers with two consecutive zeros
27356
Lower bound on proof length
42105
Fibonacci proof by induction
154459
Constructing a HoTT proof term of 1≠0
104349
Proof by induction involving symmetric groups
98514
Prove by induction that the number of derangements of length $n$ is $D_n = (n-1)(D_{n-1}+D_{n-2}), n>2$
45914
Proving that $n!≤((n+1)/2)^n$ by induction
76029
Induction proof: n lines in a plane
122998
number of edges induction proof
17371
Recurrence relation for number of ternary strings that contain two consecutive zeros
154133
Flawed proof by induction that $a^{n-1}=1$
35073
finding the number of bit string containing eight 0s and twelve 1s?
122530
Number of zeros at the end of $k!$
36486
Finding the total number of set-bits from 1 to n