<p><i>The Little Prover</i> introduces inductive proofs as a way to determine facts about computer programs. It is written in an approachable, engaging style of question-and-answer, with the characteristic humor of<i>The Little Schemer </i>(fourth edition, MIT Press). Sometimes the best way to learn something is to sit down and do it; the book takes readers through step-by-step examples showing how to write inductive proofs.<i>The Little Prover </i>assumes only knowledge of recursive programs and lists (as presented in the first three chapters of<i>The Little Schemer</i>) and uses only a few terms beyond what novice programmers already know. The book comes with a simple proof assistant to help readers work through the book and complete solutions to every example.</p>