Proof Compression

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Techniques and transformations applied to reduce the size, length, or structural complexity of a proof while preserving its correctness and verifiability.