Translation Explorer

Each node is a theorem statement. Its colour is the Logical Foundations chapter it comes from, in textbook order (see the key under the graph), and its size is how many other statements depend on it. Click a node to see its direct dependencies (solid edges) and dependents (dashed orange edges); the recursive closure is not drawn.