Module simplify 

Proof simplification through logical rewriting.

This module provides simplification of proof steps by applying logical rewrite rules, combining redundant inferences, and normalizing conclusions. Unlike compression (which removes unreachable nodes), simplification transforms proof steps to equivalent but simpler forms.

Structs

ProofSimplifier

Proof simplifier that applies logical rewrite rules.

SimplificationConfig

Configuration for proof simplification.

SimplificationStats

Statistics about simplification operations.

Functions

simplify_proof

Simplify a proof using default configuration.