proofs property

List<Proof> proofs

Implementation

List<Proof> get proofs => throw UnimplementedError();