标签：inductive

[FROM www.amazon.com]: 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-answ...

标签：bookinductivelittleprogramsproofsproverreadersSchemerway