Evaluate and prove arguments in different* formal logics. Try it here.
*Actually, only classical truth-functional propositional logic and the basic modal logics K and T for now.
Also used by https://twitter.com/mathstableaubot/with_replies to automatically reply to @mathslogicbot with proof tableaux.