Module proof_tree

Module proof_tree 

Source

Structs§

ProofNode
Represents a single node in the proof tree
ProofStats
Statistics about the proof
ProofTree
Complete proof tree with metadata

Enums§

ProofNodeType
Type of proof node