Module diff 

Proof diffing utilities for comparing two proofs.

Structs

ProofSimilarity

Compute similarity metrics between two proofs.

Enums

ProofDiff

Represents a difference between two proofs.

Functions

compute_similarity

Compute similarity metrics between two proofs.

diff_proofs

Compare two proofs and return their differences.