Describe mathematical structures and see visualizations, such as state diagrams, plots, Venn diagrams, and logic circuits.

Simulate automata and grammars with input strings to visualize computation..

Check certain equalities, computation paths, and logical arguments.

Type entire documents with mat, like assignments, notes, exams, study guides, etc.

Recover work from the past 24 hours, from any device, that you may have lost due to your browser session being interrupted.

Consult definitions, theorems, explanations, and examples from certain topics.