Theory Graph Viewer (Alpha)

Open DOT Focus Search Layout Horizontal spacing Vertical spacing Exclude theories Depth All depths Proof edges Definition edges Type edges Show dependents Show dependencies Hide redundant proof edges Zoom

Paths from to

Open or drop a DOT file. Files are rendered locally; nothing is uploaded.

Download example dotfile here: S3K Isolation Proof

Node details Hover or click a node to inspect its dependencies.