Among the Proofscape Data Types, we can refer to Annotations and Sphinx Pages collectively as pages. Each one is a way of defining a page of text with interactive Widgets.

Pages and proof charts can be displayed side by side in PISE, so that users can click through a discussion in a page, and thereby navigate a diagram.

Each page type has its strengths:

  • Annotations are good for shorter or simpler notes, and have low overhead. They can be used to attach example explorers or other brief commentary to nodes or deductions.

  • Sphinx pages are a great way to develop larger works, with tables of contents and all the other features you get with Sphinx.

Page types#