proof property

ProofEntry? proof

Implementation

ProofEntry? get proof => _curProof;