Module proof

Module proof 

Source
Expand description

Implementation of parallel proof computation.

Structsยง

ParallelProof
Parallel proof calculator.