Comment by tluyben2

If this is anything like the others in the series. I really like the style of the others; it is a really good way of learning for me. And the little prover&typer was when I already was well versed in the theory but they were really good to work through nonetheless.

So yep, must have. If you haven’t read the rest, they are really must haves imho.