Exemplo n.º 1
0
 public abstract Task <StatementProofResult> TryProof(
     IStatementProver statementProver);
Exemplo n.º 2
0
 public override async Task<StatementProofResult> TryProof(
     IStatementProver statementProver) {
     return await statementProver.Eval(this);
 }