a.k.a. "Moosage," or How to use the Moose browser
The Proofscape browser is called Moose. We recommend putting your web browser into 'full screen' mode, in order to maximize the visible space for navigating.
We hope the interface is quite intuitive. If not, please let us know!
On the left side of the screen you fill find the Sidebar, which contains many useful tools including:
The TrailMap tab is found in the Sidebar. It lists the deductions currently on the board, as well as any deductions directly associated with those on the board. For example if a theorem is open, its proof will be listed in the TrailMap.
Clicking a row will open or close the corresponding deduction. Each row also contains several icons that you can click:
The Overview tab is also found in the Sidebar. This gives you an overview of all the deductions that are currently open on the board, helping you to keep track of which part of the canvas you are currently viewing in the main display area.
When the mouse cursor is over the Overview tab, the mousewheel or a scrolling gesture on a track pad will zoom the view in and out. You can also click and drag the blue box to move the view. (Click anywhere on or inside the box.)
The Library tab in the Sidebar lets you open any deduction in the library.
Clicking any node will display information about it in the sidebar:
If a node has precisely one expansion available, you can open that expansion simply by double-clicking on the node. Otherwise, click the node once to display all available expansions in the TrailMap, and then select one.
You can always click any row in the TrailMap to open or close the corresponding deduction.
You can double-click on the background of an open deduction to close it.
A: Because a moose is a forest browser.