proofs property

List<Proof>? proofs
final

Implementation

final List<Proof>? proofs;