Module proof

Source
Expand description

Implementation of parallel proof computation.

Structsยง

ParallelProof
Parallel proof calculator.