View Menu

GraphCellListShows the graphs and invariants that are available to the conjecturing engine as a GraphCellList.
InvariantTableShows the graphs and invariants that are available to the conjecturing engine as a InvariantTable.
GraphListShows the graphs and invariants that are available to the conjecturing engine as a GraphList.