• Internal method to filter out duplicate proofs

    Parameters

    • seen: Set<string> = ...

    Returns (proof: Proof) => boolean