Dependency graph

Interactive statement-dependency graph for the important Hansen results.

Arrows point from a prerequisite declaration to the result that uses it in its formal statement. This follows the CausalForge and LeanBlueprint convention. The overview aggregates links by textbook chapter. Select a chapter to inspect its important endpoints and their direct project dependencies.

Chapter Overview

Important result Direct dependency Arrow: prerequisite to result Zoom in or point at a node to show more labels.