proofs property

Implementation

@override
List<Proof> get proofs => state;