Drag anywhere on the map, including a node, to move. Click a node to read its details; click the background to close them. Use the mouse wheel or pinch to zoom. Keyboard: arrows to move, + and − to zoom, 0 to fit.
Colored junctions combine the dependencies of one result. Select a result to highlight only its proof path; Fit to screen restores all paths.