Formal Language App

Sandbox

Edit one statement and watch every view stay synchronized.

Quiz

Translate a statement from one presentation into another.

Quiz
Choose a quiz setup to begin.
Atoms: uppercase letters · □ marks an unfinished slot · ~ or ¬ · & or ∧ · | or ∨ · -> or → · <-> or ↔