addProofSilently method

void addProofSilently()

Add new proof without notifying anyone.

Implementation

void addProofSilently() {
  state.add(Proof(this, name: (proofs.length).toString()));
}