proof property

BuildProof proof
getter/setter pair

Implementation

late BuildProof proof;