create static method

ProofSpec create()

Implementation

@$core.pragma('dart2js:noInline')
static ProofSpec create() => ProofSpec._();