Fix many small issues in tableaux chapter

OpenLogicProject / OpenLogic

An open-source, customizable intermediate logic textbook

http://openlogicproject.org/

Creative Commons Attribution 4.0 International

1.04k stars 237 forks source link

Closed furcyd closed 2 years ago

furcyd commented 2 years ago

Since I edited dozens of lines in this chapter, many of them in tableaux and/or proofs, extra care will have to be taken when checking them.

rzach commented 2 years ago

Thanks so much!