Function stripDleq

stripDleq(proofs: Proof[]): Omit<Proof, "dleq">[]
Removes all traces of DLEQs from a list of proofs.
Parameters
- proofs: Proof[]
  The list of proofs that dleq should be stripped from.
Returns Omit<Proof, "dleq">[]
- Defined in src/utils/core.ts:593