Module proof_tree_export 

Proof tree exporter — renders verified proof trees to multiple output formats.

Supported formats:

• ExportFormat::Dot — Graphviz DOT language
• ExportFormat::Json — compact JSON array via serde_json
• ExportFormat::IndentedText — indented ASCII tree (2 spaces per depth)
• ExportFormat::EdgeList — from_id -> to_id one per line

Structs

ExportConfig

Configuration for ProofTreeExporter.

ExportNode

A single node in the exported proof tree.

ProofTreeExporter

Exports verified proof trees to multiple formats.

Enums

ExportFormat

Output format for ProofTreeExporter.