Right now I'm working on chapter 11, and the section on propositional logic is complete!
Read the official documentation here: https://www.logicthrupython.org/api/
I have added some utilities without changing the existing ones, so everything there should be accurate.