Expand description
Proof visualization utilities.
This module provides tools for visualizing proof trees in various formats, including DOT (Graphviz), ASCII art, and structured text.
Structs§
- Proof
Visualizer - Proof visualizer.
Enums§
- Visualization
Format - Visualization format for proofs.