Module proof_trace 

Differentiable proof trace records for proof-path training surfaces.

Structs

DifferentiableProofTraceMap

Collection of differentiable proof traces keyed by stable proof ID.

ProofTrace

Exported differentiable proof trace.

ProofTraceSpec

Input used to create one differentiable proof trace.