addProof method

  1. @override
void addProof()
override

Implementation

@override
void addProof() {
  state = [...state, Proof(this, name: (proofs.length).toString())];
}