2022-07-23
Just wanted to share something I had stored in a while but never bothered to release: some propositional logic proofs and manipulations of some of the most important logic laws. I did this by hand to kill time during some boring classes, and actually typeset it not long after; today I was cleaning up my university shell account and found it again, so I decided to polish up a bit and put it out there. Shot out to this guide that provided an improved version of fitch.sty with some demos.
Here it is: link
If you find any typos or logic errors, please shoot me an email. Thanks!
