Graph

Explore theorem dependencies and the note graph from one static data view. The theorem view shows logical and conceptual registry edges; the notes view shows wikilinks, backlinks, topics, and theorem subnodes.