The Editor User Interface

Let's start by looking at a proof.

The proof now goes into edit mode:

The main UI elements are

Prev | Main | Next: How to Write Formulas

Login to edit