addProof method

void addProof()

Implementation

void addProof() {
  throw UnimplementedError();
}