Пример #1
0
 public abstract Task <StatementProofResult> TryProof(
     IStatementProver statementProver);
Пример #2
0
 public override async Task<StatementProofResult> TryProof(
     IStatementProver statementProver) {
     return await statementProver.Eval(this);
 }