"The Little Prover" Theorem Proving from Author of the Little Schemermitpress.mit.edu1 pointHomunculiheaded11 years ago