Proofs with binary trees
13767
Number of nodes in binary tree given number of leaves
66019
Revisited: Binomial Theorem: An Inductive Proof
61635
Proving AM-GM with induction
131132
Proofs using vector properties
92359
Big-O Notation Proof
16187
proof of functional completeness of logical operators
113065
Proving equivalences of statements equivalent to AC
65574
How to prove that total number of non-isomorphic labelled trees of order $n$ is $n^{n-2}$?
156908
Binary tree level order traversal
125174
Combinatorial intuition of identity
134588
Seeking a direct proof about nested inclusions
158802
Graph theory and tree company
108698
proof using the mathematical induction
78359
Induction and Recursion Proof using Catalan Numbers
57215
Stuck on formal proofs. Not sure how to continue
10598
Contrapositive Fitch Proof
78243
graph-theory problem about outdegree and indegree