Sister section

ProofsPath

Olympiad-style proof techniques: AM-GM, Cauchy-Schwarz, induction, extremal principle, and more — paired with cross-links to the Lean-verified counterparts in the main TheoremPath manifest.

TheoremPath is the parent network for the rigorous machine-learning curriculum this section borrows from.