JavaScript based web-tool for propositional logics.