Mathematical Dependency Graph

Instructions

• Drag nodes to reposition them
• Scroll to zoom in/out
• Hover over nodes for details
• Click on any node to view raw LaTeX text
• Click "Reset Zoom" to center the graph

Lean Status

• Green: Full Lean (statement + proof)
• Yellow: Partial Lean (statement only)
• Red: No Lean formalization