A toy tool for parsing and evaluation propositional logic expressions - View it on GitHub