Nodes
Passed evaluation
Failed evaluation
Not evaluated
Edges
Statement dep
Statement + Proof dep
Tip
Click a node to isolate its dependency cone