start of tutorial : previous : next : exit tutorial
HiGraphs represent HiProofs as graphs. The HiProof goals represent the edges and HiProof methods represent the nodes.
There are two shades of green used to colour the method names in the HiGraph. The light green indicates a method has submethods whose visibility can be toggled by the user. The dark green indicates a method has no submethods.
start of tutorial : previous : next : exit tutorial