The Little Prover 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 The Little Schemer (fourth edition, MIT Press). Sometimes the best way to learn something is to[...]

When the three big trains refuse to go up the mountain in the deep snow, the Little Red Train finds brave helpers and goes on a rescue mission to take food to the stranded villagers.[...]