Translation Explorer

Each node corresponds to a theorem statement. The different colors represent the 17 different modules. Higher color opacities represent nodes with more dependencies, and lower color opacities represent those with fewer. Clicking on any node will show its direct dependencies and dependents, not including the recursive enumeration of dependencies and dependents.