Module proof

Source
Expand description

Implementation of parallel proof computation.

Structsยง

ParallelProof
TODO: