"The Little Prover" Theorem Proving from Author of the Little Schemermitpress.mit.edu1 point·Homunculiheaded··0 commentsOpen articleSaveView on HN