Module prover

Source
Expand description

Describes data structures and the algorithms used by the AHP prover.