4 ms·"The Little Prover" Theorem Proving from Author of the Little Schemer1 points by Homunculiheaded 11y ago