Prover constructor

Prover()

Implementation

Prover();