Expand description
Proof normalization utilities for canonical representation.
Functionsยง
- canonicalize_
conclusions - Canonicalize conclusion strings by removing extra whitespace.
- normalize_
proof - Normalize a proof by reordering axioms alphabetically and renumbering nodes.