This is my first and hopefully not the last post about the book “The Little Prover”. Over the next few weeks, I will write about what I…