The Little Prover gir en innføring i å skrive bevis for dataprogrammer, presentert på en lettfattelig spørsmåls- og svarform. Boken inneholder trinn-for-trinn eksempler og en enkel bevisassistent som veileder leserne. Med fokus på induktive bevis lærer The Little Prover leserne hvordan man kan verifisere fakta om dataprogrammer på en engasjerende og lett tilgjengelig måte, med de karakteristiske humoristiske elementene kjent fra The Little Schemer (fjerde utgave, MIT Press). Forfatterne understreker at den beste måten å lære på, ofte er å praktisere; derfor tar boken leserne med steg for steg gjennom reelle eksempler på hvordan man skriver induktive bevis. The Little Prover krever kun grunnleggende kunnskap om rekursive programmer og lister, som presentert i de første kapitlene av The Little Schemer, og benytter seg bare av noen få begreper som nybegynnere allerede er kjent med. I tillegg følger en enkel bevisassistent med, designet for å hjelpe leserne med å jobbe gjennom bokens innhold og fullføre løsninger på hver oppgave.
