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.