TruthTables is a truth table generator and logic proof builder that I initially built for myself to help with my Symbolic Logic class, but developed further to became a resource for anyone who needs to build truth tables, analyze logic statements, and construct proofs. The app is built with Next.js and Chakra UI and uses Ohm for parsing. All of the calculating and solving logic is custom built from scratch.